Natural deduction
Subtitle: a proof-theoretical study.
Series: Acta Universitatis Stockholmiensis. Stockholm studies in philosophy,; 3; Acta Universitatis Stockholmiensis.; 3.
Publisher: Almqvist & Wiksell
Published: 1965
Place of publication: Stockholm
Language: eng
Number of pages: 113
Subjects: Gentzen, Gerhard.; Logic.; Logic, Symbolic and mathematical.; Modality (Logic)
Notes: Bibliography: p. [106]-109.
Akademisk avhandling--Stockholm. Universitet.