Automatisk bevisføring i predikatkalkyle

Erik Holbæk-Hanssen
Bok · Språk ikke angitt · 1973

Utgitt	Oslo : Universitetet , 1973
Omfang	1 b.