An Herbrand theorem for a modal logic

Herman Ruge Jervell
Bok · Engelsk · 1972

Utgitt	Oslo , 1972
Omfang	18 bl.
Opplysninger	Stensiltrykk
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Deduksjon Kunnskapsrepresentasjon
Dewey	164
ISBN	8255300791