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.

Solomon Feferman

doi:10.2307/2271904

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.

Journal of Symbolic Logic ◽

10.2307/2271904 ◽

1975 ◽

Vol 40 (2) ◽

pp. 232-234 ◽

Cited By ~ 6

Author(s):

Solomon Feferman

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361.

Journal of Symbolic Logic ◽

10.2307/2272094 ◽

1973 ◽

Vol 38 (2) ◽

pp. 334-335

Author(s):

Helmut Pfeiffer

Keyword(s):

Proof Theory ◽

Normal Forms ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Charles Parsons. On a number theoretic choice schema and its relation to induction. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 (1971), pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 (1972), pp. 466–482.

Journal of Symbolic Logic ◽

10.2307/2272677 ◽

1974 ◽

Vol 39 (2) ◽

pp. 342-342

Author(s):

Helmut Schwichtenberg

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.

Journal of Symbolic Logic ◽

10.2307/2272294 ◽

1975 ◽

Vol 40 (1) ◽

pp. 95-97

Author(s):

James R. Geiser

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 (1966), pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 (1969), pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78.

Journal of Symbolic Logic ◽

10.2307/2272173 ◽

1975 ◽

Vol 40 (3) ◽

pp. 450-452

Author(s):

Robert A. DiPaola

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Random Sequences ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Definition Of ◽

Von Mises ◽

And Control

Download Full-text

Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485.

Journal of Symbolic Logic ◽

10.2307/2275081 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1094-1096

Author(s):

Dag Prawitz

Keyword(s):

New York ◽

Proof Theory ◽

Reverse Mathematics ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71.

Journal of Symbolic Logic ◽

10.2307/2272421 ◽

1972 ◽

Vol 37 (4) ◽

pp. 744-747

Author(s):

John Myhill

Keyword(s):

New York ◽

San Francisco ◽

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Hill Book Company ◽

Constructive Analysis ◽

North Holland Publishing ◽

Mcgraw Hill Book Company

Download Full-text

R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207.

Journal of Symbolic Logic ◽

10.2307/2272660 ◽

1974 ◽

Vol 39 (2) ◽

pp. 334-334

Author(s):

William A. Howard

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417.

Journal of Symbolic Logic ◽

10.2307/2272293 ◽

1975 ◽

Vol 40 (1) ◽

pp. 95-95

Author(s):

J. van Heijenoort

Keyword(s):

Number Theory ◽

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Consistency Proof ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52.

Journal of Symbolic Logic ◽

10.1017/s0022481200054360 ◽

1975 ◽

Vol 40 (1) ◽

pp. 84-84

Author(s):

Brian H. Mayoh

Keyword(s):

Differential Equations ◽

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Computable Analysis ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 24–30.

Journal of Symbolic Logic ◽

10.2307/2270886 ◽

1970 ◽

Vol 34 (4) ◽

pp. 657-657 ◽

Cited By ~ 2

Author(s):

Stephen A. Cook

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Computational Difficulty

Download Full-text