Prawitz, Dag Natural deduction. A proof-theoretical study. (English) Zbl 0173.00205 Stockholm Studies in Philosophy. 3. Stockholm-Göteborg-Uppsala: Almqvist & Wiksell. 113 p. (1965). Reviewer: G. E. Mints (Leningrad) Page: −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 14 ReviewsCited in 382 Documents MSC: 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations Keywords:general logic PDF BibTeX XML