- A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.details
|
|
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.details
|
|
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.details
|
|
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.details
|
|
The philosophy of mathematics: an introductory essay.Stephan Körner - 1960 - Mineola, N.Y.: Dover Publications.details
|
|
Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton, N.J.: Princeton University Press. Edited by Olaf Helmer-Hirschberg & Frank Wilczek.details
|
|
Mathematical Logic.Willard Van Orman Quine - 1940 - Cambridge, MA, USA: Harvard University Press.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
The Philosophy of Mathematics: An Introductory Essay.Stephan Körner - 1960 - Mineola, N.Y.: Hutchinson.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
Elements of mathematical logic.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.details
|
|
Problems in the philosophy of mathematics.Imre Lakatos (ed.) - 1967 - Amsterdam,: North-Holland Pub. Co..details
|
|
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.details
|
|
Philosophy of Mathematics and Natural Science.Heinrich Scholz - 1950 - Journal of Symbolic Logic 15 (3):206-208.details
|
|
A Survey of Mathematical Logic. [REVIEW]Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.details
|
|
The Philosophy of Mathematics.Atwell R. Turquette & Stephan Korner - 1962 - Philosophical Review 71 (2):248.details
|
|
Philosophy of Mathematics and Natural Science.Stephen Toulmin - 1950 - Philosophical Review 59 (3):385.details
|
|
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.details
|
|
Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.details
|
|
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.details
|
|
Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.details
|
|
Philosophy of Mathematics and Natural Science. [REVIEW]E. N. - 1951 - Journal of Philosophy 48 (2):48.details
|
|
Thirty Years of Foundational Studies.Abraham Robinson - 1966 - Journal of Symbolic Logic 33 (1):111-112.details
|
|
Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.details
|
|
Metamathematik.Paul Lorenzen - 1966 - Journal of Symbolic Logic 31 (1):106-106.details
|
|
Les Limitations Internes des Formalismes.J. Ladriere - 1958 - Philosophy and Phenomenological Research 19 (4):555-556.details
|
|
Problems in the Philosophy of Mathematics.John N. Crossley - 1968 - Philosophical Quarterly 18 (72):275-275.details
|
|
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.details
|
|
Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
A variant to Hilbert's theory of the foundations of arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.details
|
|
Languages with Expressions of InfiniteLength.Carol Ruth Karp - 1964 - North-Holland.details
|
|
Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.details
|
|
The use of the axiomatic method in quantum physics.Yvon Gauthier - 1971 - Philosophy of Science 38 (3):429-437.details
|
|
La notion théorétique de structure.Yvon Gauthier - 1969 - Dialectica 23 (3‐4):217-227.details
|
|
Logique hégélienne et formalisation.Yvon Gauthier - 1967 - Dialogue 6 (2):151-165.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.details
|
|