G. Kreisel. Mathematical significance of consistency proof. The Journal of Symbolic Logic, 23(2):155--182, 1958. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
On the No-Counterexample Interpretation - Kohlenbach (1997) (2 citations) (Correct)
Proof Mining in Analysis: Computability and Complexity - Oliva (2001) (Correct)
A semantic view of classical proofs. - type-theoretic, categorical, .. - Ong (1996) (Correct)
"Classical" programming-with-proofs in.. - Franco Barbanera, .. (Correct)
A Constructive Valuation Semantics for Classical Logic - Barbanera, Berardi (Correct)
Extracting Constructive Content from Classical Logic via.. - Barbanera, Berardi (13 citations) (Correct)
A Strong Normalization Result for Classical Logic - Barbanera, Berardi (1995) (4 citations) (Correct)
Proof Mining in Subsystems of Analysis - Oliva (2003) (Correct)
"Clarifying the Nature of the Infinite": the development of.. - Avigad, Reck (2001) (Correct)
Dependent Choice, `quote' and the Clock - Krivine (2002) (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