- (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details
|
|
Constructive Functional Analysis.D. S. Bridges & Peter Zahn - 1982 - Journal of Symbolic Logic 47 (3):703-705.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
The ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge: Harvard University Press.details
|
|
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.details
|
|
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.details
|
|
Intensional Mathematics.Stuart Shapiro - 1991 - Studia Logica 50 (1):161-162.details
|
|
(1 other version)Degrees of Unsolvability.Joseph R. Shoenfield - 1975 - Studia Logica 34 (3):284-288.details
|
|
(1 other version)Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.details
|
|
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.details
|
|
Degrees of unsolvability.Joseph Robert Shoenfield - 1971 - New York,: American Elsevier.details
|
|
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
An interpretation of the intuitionistic sentential calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The philosophy of mathematics. London,: Oxford University Press.details
|
|
The Theory of Choice Sequences.A. S. Troelstra, B. van Rootselaar & J. F. Staal - 1973 - Journal of Symbolic Logic 38 (2):332-332.details
|
|