Herbrand and Skolems theorems in infinitary languages

Herman Ruge Jervell
Bok · Engelsk · 1972

Utgitt	Oslo , 1972
Omfang	11 bl.
Opplysninger	Stensiltrykk
Emner	Bevisføring Deduksjon Kunnskapsrepresentasjon
Dewey	164
ISBN	8255300775