Skolem and Herbrand theorems in first order logic

Herman Ruge Jervell
Bok · Engelsk · 1973

Utgitt	Oslo , 1973
Omfang	77 bl.
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Deduksjon Kunnskapsrepresentasjon
Dewey	164
ISBN	8255301186