Mathematical Intuitionism. Introduction to Proof Theory

&
Journal of Symbolic Logic 55 (3):1308-1309 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274493

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Principles of Intuitionism. Lectures Presented at the Summer Conference on Intuitionism and Proof Theory at SUNY at Buffalo, N.Y. [REVIEW]A. S. Troelstra - 1975 - Journal of Symbolic Logic 40 (3):447-448.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo, N.Y., 1968.Akiko Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam, Netherlands: North-Holland.
On the original Gentzen consistency proof for number theory.Manfred Szabo - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co.. pp. 409.
How to read and do proofs: an introduction to mathematical thought processes.Daniel Solow - 2014 - Hoboken, New Jersey: Wiley.
Principles of proof, etc.G. Kreisel - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co.. pp. 489--5.
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
O pojęciu prawdy w intuicjonizmie matematycznym.Zbigniew Tworak - 2010 - Filozofia Nauki 18 (4).
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Introduction to mathematical proofs: a transition.Charles E. Roberts - 2009 - Boca Raton: CRC Press.
Varieties of Moral Intuitionism.Elizabeth Tropman - 2014 - Journal of Value Inquiry 48 (2):177-194.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
The Development of Logical Argument Through the Teaching of Mathematical Proof.Emily Macmillan - 2003

Analytics

Added to PP
2015-02-05

Downloads
36 (#421,132)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Lifschitz' realizability.Jaap van Oosten - 1990 - Journal of Symbolic Logic 55 (2):805-821.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references