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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,726

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

Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin - 1988 - Providence: Translations of mathematical monographs, vol. 67. American Mathematical Society.
An Introduction to Mathematical Logic and Type Theory: To Truth through Proof.[author unknown] - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.

Analytics

Added to PP
2015-02-05

Downloads
42 (#376,918)

6 months
10 (#395,773)

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