Dag Prawitz. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 235–307.
- 1 June 1975
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 40 (2) , 232-234
- https://doi.org/10.2307/2271904
Abstract
Dag Prawitz. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 235–307. - Volume 40 Issue 2 - Solomon FefermanThis publication has 0 references indexed in Scilit: