×

Natural deduction. A proof-theoretical study. (English) Zbl 0173.00205

Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy 3. Stockholm: Almqvist & Wiksell. 113 p. (1965).

MSC:

03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

Keywords:

general logic
PDF BibTeX XML Cite