review-by-georg-kreisel documents

On the Constructive Interpretation of Mathematical Judgments
Documents On the Constructive Interpretation of Mathematical Judgments
Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variablesby S. Ju. Maslov; G. E. Minc; V. P. Orevkov; E. Mendelson
Documents Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variablesby S. Ju. Maslov; G. E. Minc; V. P. Orevkov; E. Mendelson
Logic, Computation and Philosophy.by Hao Wang
Documents Logic, Computation and Philosophy.by Hao Wang
Mathematics without Foundations.by Hilary Putnam
Documents Mathematics without Foundations.by Hilary Putnam
A Survey of Mathematical Logicby Hao Wang
Documents A Survey of Mathematical Logicby Hao Wang