: G.Kreisel. A Survey of Proof Theory J. of Symbolic Logic 33 1968 p. 321-328. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Specialization and Transformation of Constructive.. - Peter Madden Department (1989) (2 citations) (Correct)
No context found.
: G.Kreisel. A Survey of Proof Theory J. of Symbolic Logic 33 1968 p. 321-328.
The Specialization of Constructive Existence Proofs - Peter Madden October (1988) (Correct)
No context found.
: G.Kreisel. A Survey of Proof Theory J. of Symbolic Logic 33 1968 p. 321-328.
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