Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.
Richmond H. Thomason · Journal of Symbolic Logic · 1967
Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp. - Volume 32 Issue 2