Natural deduction : a proof-theoretical study.
Stockholm [etc.] : Almqvist & Wiksell, 1965.
113 págs. ; 24 cm.
Serie: Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ; 3
Akademisk avhandling--Stockholm. Universitet.
Bibliografía: p. [106]-109.
Reseña: MathSciNet, 33 #1227