Kolmogorov A. (1932) Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift, 35, 58--65. English translation in P. Mancosu, Ed., From Brouwer to Hilbert : the debate on the foundations of mathematics in the 1920s, Oxford University Press, 1998. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Formalizing Belief Revision in Type Theory - Borghuis, Kamareddine, Nederpelt (Correct)
Logics and Provability - Sasaki (2001) (Correct)
Reviewing the classical and the de Bruijn notation for.. - Kamareddine (2001) (Correct)
Ordinals and Interactive Programs - Hancock (2000) (Correct)
Propositional Functions and Families of Types - Smith (1989) (3 citations) (Correct)
From Constructivism to Computer Science - Troelstra (1999) (Correct)
Maps II: Chasing Diagrams in Categorical Proof Theory - Pavlovic (1996) (Correct)
Maps II: Chasing Diagrams in Categorical Proof Theory - Pavlovic (1996) (Correct)
A Constructive Valuation Semantics for Classical Logic - Barbanera, Berardi (Correct)
A Notion of Classical Pure Type System - Barthe, Hatcliff, al. (1997) (6 citations) (Correct)
AUTOMATH and Pure Type Systems - Laan (1996) (Correct)
From Constructivism to Computer Science - Troelstra (1996) (Correct)
Martin-Löf's Type Theory - Nordström, Petersson, Smith (Correct)
Formalizing Automata II: Decidable Properties - Constable (Correct)
A New Foundation for Support Theory - Narens (2004) (Correct)
Ordinals and Interactive Programs - Hancock (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC