Natural deduction : a proof-theoretical study

av Dag Prawitz
Bok · Engelsk · 1965

Utgitt	Stockholm : Almqvist & Wiksell , c1965
Omfang	113 s.
Opplysninger	Avhandling (fil.dr.) - Stockholms universitet, 1965
Emner	Bevisteori Deduksjon