Prawitz Dag. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 235–307 [Book Review]

Journal of Symbolic Logic 40 (2):232-234 (1975)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

14 (#724,932)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Identity of Proofs Based on Normalization and Generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.

Add more citations

References found in this work

No references found.

Add more references