Fandom

Scratchpad

Logic and foundations (book list)

215,919pages on
this wiki
Add New Page
Discuss this page0 Share

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

This is a section of the Basic Math Library List. Please help to improve the article.


  • To edit this page, just click on "Edit" on the top.
  • Please read this page before editing.


The subject description:

 1. Logic and foundations
    Model theory. Set theory. Recursion theory. Proof theory. Applications.
    Connections with sections 2, 3, 14, 15.




Surveys

Beth, Evert. The Foundations of Mathematics Amsterdam: North-Holland, 1959.

  • Eves, Howard W. Foundations and Fundamental Concepts of Mathematics, Boston, MA: PWS-Kent, 1990. Third Edition.
    • Mac Lane, Saunders. Mathematics, Form and Function New York, NY: Springer-Verlag, 1986.
  • Mostowski, Andrzej. Thirty Years of Foundational Studies New York, NY: Barnes and Noble, 1966.
  • Wilder, Raymond L. Introduction to the Foundations of Mathematics, Melbourne, FL: Robert E. Krieger, 1980. Second Edition.


Logic

  • Barwise, Jon and Etchemendy, John. The Liar: An Essay on Truth and Circularity New York, NY: Oxford University Press, 1987.
  • Boole, George. An Investigation of the Laws of Thought Mineola, NY: Dover, 1951.

Copi, Irving Marmer. Symbolic Logic, New York, NY: Macmillan, 1973. Fourth Edition.

Jeffrey, Richard C. The Logic of Decision, Chicago, IL: University of Chicago Press, 1983. Second Edition.

Quine, Willard Van Orman. Methods of Logic, New York, NY: Holt, Rinehart and Winston, 1972. Third Edition.

Suppes, Patrick C. Introduction to Logic New York, NY: Van Nostrand Reinhold, 1957.

Venn, John. Symbolic Logic, New York, NY: Chelsea, 1971. Second Edition.

Venn, John. The Principles of Inductive Logic, New York, NY: Chelsea, 1973. Second Edition.


Mathematical Logic

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof New York, NY: Academic Press, 1986.

  • Barwise, Jon and Etchemendy, John. The Language of First-Order Logic Stanford, CA: Center for Study of Language Information, 1990.
      • Barwise, Jon, ed. Handbook of Mathematical Logic Amsterdam: North-Holland, 1977.

Bell, J.L. and Machover, Moshe. A Course in Mathematical Logic Amsterdam: North-Holland, 1977.

Boolos, George S. The Unprovability of Consistency: An Essay in Modal Logic New York, NY: Cambridge University Press, 1979.

  • Boolos, George S. and Jeffrey, Richard C. Computability and Logic, New York, NY: Cambridge University Press, 1974, 1989. Third Edition.
    • Crossley, J.N., et al. What is Mathematical Logic? New York, NY: Oxford University Press, 1972.

Curry, Haskell B. Foundations of Mathematical Logic Mineola, NY: Dover, 1977.

    • Davis, Martin D., ed. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions New York, NY: Raven Press, 1965.
  • Ebbinghaus, H.-D.; Flum, J.; and Thomas, W. Mathematical Logic New York, NY: Springer-Verlag, 1984.
  • Enderton, Herbert B. A Mathematical Introduction to Logic New York, NY: Academic Press, 1972.

Goodstein, R.L. Development of Mathematical Logic New York, NY: Springer-Verlag, 1971.

Hatcher, William S. The Logical Foundations of Mathematics Elmsford, NY: Pergamon Press, 1982.

Hilbert, David. and Ackermann, W. Principles of Mathematical Logic New York, NY: Chelsea, 1950.

  • Kleene, Stephen C. Mathematical Logic New York, NY: John Wiley, 1967.
      • Kleene, Stephen C. Introduction to Metamathematics Amsterdam: North-Holland, 1974.

Kneebone, G.T. Mathematical Logic and the Foundations of Mathematics New York, NY: Van Nostrand Reinhold, 1963.

  • Mendelson, Elliott. Introduction to Mathematical Logic, Belmont, CA: Wadsworth, 1987. Third Edition.
  • Monk, J. Donald. Mathematical Logic New York, NY: Springer-Verlag, 1976.
    • Nagel, Ernest and Newman, James R. Godel's Proof New York, NY: New York University Press, 1958.

Rosser, J. Barkley. Logic for Mathematicians, New York, NY: Chelsea, 1978. Second Edition.

  • Tarski, Alfred. Logic, Semantics, Metamathematics, Indianapolis, IN: Hackett, 1983. Second Edition.


Philosophy of Mathematics

Aspray, William and Kitcher, Philip, eds. History and Philosophy of Modern Mathematics Minneapolis, MN: University of Minnesota Press, 1988.

  • Benacerraf, Paul and Putnam, Hilary. Philosophy of Mathematics: Selected Readings, Englewood Cliffs, NJ: Prentice Hall, 1964, 1989. Second Edition.

Cohen, Jonathan. An Introduction to the Philosophy of Induction and Probability New York, NY: Oxford University Press, 1989.

Hintikka, Jaakko. The Philosophy of Mathematics New York, NY: Oxford University Press, 1969.

  • Kitcher, Philip. The Nature of Mathematical Knowledge New York, NY: Oxford University Press, 1984.

Korner, Stephan. The Philosophy of Mathematics: An Introductory Essay, Mineola, NY: Dover, 1968, 1986. Second Edition.

      • Lakatos, Imre. Proofs and Refutations: The Logic of Mathematical Discovery New York, NY: Cambridge University Press, 1976.

Quine, Willard Van Orman. Pursuit of Truth Cambridge, MA: Harvard University Press, 1990.

  • Quine, Willard Van Orman. Philosophy of Logic, Cambridge, MA: Harvard University Press, 1986. Second Edition.

Quine, Willard Van Orman. The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, 1976. Revised and Enlarged Edition.

    • Russell, Bertrand. Introduction to Mathematical Philosophy New York, NY: Macmillan, 1920.

Wang, Hao. Beyond Analytic Philosophy: Doing Justice to What We Know Cambridge, MA: MIT Press, 1986.

  • Wittgenstein, Ludwig. Remarks on the Foundations of Mathematics, Cambridge, MA: MIT Press, 1978. Revised Edition.


Set Theory

Baumgartner, James E.; Martin, Donald A.; and Shelah, Saharon, eds. Axiomatic Set Theory Providence, RI: American Mathematical Society, 1984.

Bell, J.L. Boolean-Valued Models and Independence Proofs in Set Theory New York, NY: Clarendon Press, 1977.

Bernays, Paul. Axiomatic Set Theory, Mineola, NY: Dover, 1991.

Bourbaki, Nicolas. Elements of Mathematics: Theory of Sets Reading, MA: Addison-Wesley, 1968.

Dales, H.G. and Woodin, W.H. An Introduction to Independence for Analysts New York, NY: Cambridge University Press, 1987.

Devlin, Keith J. The Axiom of Constructibility: A Guide for the Mathematician New York, NY: Springer-Verlag, 1977.

  • Devlin, Keith J. Fundamentals of Contemporary Set Theory New York, NY: Springer-Verlag, 1979.
  • Enderton, Herbert B. Elements of Set Theory New York, NY: Academic Press, 1977.
  • Fraenkel, Abraham A. Abstract Set Theory, Amsterdam: North Holland, 1953, 1966. Third Edition.
    • Fraenkel, Abraham A.; Bar-Hillel, Yehoshra; and Levy, Azriel. Foundations of Set Theory, Atlantic Highlands, NJ: Humanities Press, 1973. Second Revised Edition.
  • Godel, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory Princeton, NJ: Princeton University Press, 1961.
      • Halmos, Paul R. Naive Set Theory New York, NY: Springer-Verlag, 1974.

Hrbacek, Karel and Jech, Thomas. Introduction to Set Theory, New York, NY: Marcel Dekker, 1978, 1984. Second Revised Edition.

  • Jech, Thomas. The Axiom of Choice Amsterdam: North-Holland, 1973.

Kamke, E. Theory of Sets Mineola, NY: Dover, 1950.

    • Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs, New York, NY: Elsevier Science, 1983.
  • Kuratowski, K. and Mostowski, Andrzej. Set Theory with an Introduction to Descriptive Set Theory Amsterdam: North-Holland, 1976.

Levy, Azriel. Basic Set Theory New York, NY: Springer-Verlag, 1979.

  • Moschovakis, Yiannis N. Descriptive Set Theory Amsterdam: North-Holland, 1980.

Quine, Willard Van Orman. Set Theory and Its Logic, Cambridge, MA: Harvard University Press, 1969. Revised Edition.

  • Roitman, Judith. Introduction to Modern Set Theory New York, NY: John Wiley, 1990.
    • Vilenkin, N. Ya. Stories About Sets New York, NY: Academic Press, 1968.


Computability

Cutland, Nigel. Computability: An Introduction to Recursive Function Theory New York, NY: Cambridge University Press, 1980.

      • Davis, Martin D. Computability and Unsolvability Mineola, NY: Dover, 1982.

Odifreddi, P.C. Classical Recursion Theory Amsterdam: North-Holland, 1989.

  • Pour-El, Marian B. and Richards, J. Ian. Computability in Analysis and Physics New York, NY: Springer-Verlag, 1989.
      • Rogers, Hartley, Jr. Theory of Recursive Functions and Effective Computability Cambridge, MA: MIT Press, 1987.

Soare, Robert I. Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets New York, NY: Springer-Verlag, 1987.

  • Uspenskii, V.A. Post's Machine Moscow: MIR, 1983.


Model Theory

Baldwin, John T. Fundamentals of Stability Theory New York, NY: Springer-Verlag, 1988.

  • Bridge, Jane. Beginning Model Theory: The Completeness Theorem and Some Consequences New York, NY: Clarendon Press, 1977.
      • Chang, C.C. and Keisler, H. Jerome. Model Theory, Amsterdam: North-Holland, 1973, 1990. Third Edition.
  • Hodges, W. Building Models by Games New York, NY: Cambridge University Press, 1985.

Kopperman, Ralph. Model Theory and Its Applications Boston, MA: Allyn and Bacon, 1972.

  • Lightstone, A.H. Mathematical Logic: An Introduction to Model Theory New York, NY: Plenum Press, 1978.

Lightstone, A.H. and Robinson, Abraham. Nonarchimedean Fields and Asymptotic Expansions Amsterdam: North-Holland, 1975.

  • Morley, M.D., ed. Studies in Model Theory Washington, DC: Mathematical Association of America, 1973.
    • Robinson, Abraham. Introduction to Model Theory and to the Metamathematics of Algebra Amsterdam: North-Holland, 1974.

Robinson, Abraham. Complete Theories, Amsterdam: North-Holland, 1977. Second Edition.


Nonclassical Logic

Beeson, Michael J. Foundations of Constructive Mathematics: Metamathematical Studies New York, NY: Springer-Verlag, 1985.

    • Bishop, Errett. Foundations of Constructive Analysis New York, NY: McGraw-Hill, 1967.
  • Bridges, Douglas S. and Richman, Fred. Varieties of Constructive Mathematics New York, NY: Cambridge University Press, 1987.

Dummett, Michael. Elements of Intuitionism New York, NY: Clarendon Press, 1977.

    • Heyting, A. Intuitionism: An Introduction, Amsterdam: North-Holland, 1976. Third Revised Edition.
    • Troelstra, A.S. and van Dalen, Dirk. Constructivism in Mathematics: An Introduction Amsterdam: North-Holland, 1988.

van Dalen, Dirk, ed. Brouwer's Cambridge Lectures on Intuitionism New York, NY: Cambridge University Press, 1981.


Special Topics

Frege, Gottlob. On the Foundations of Geometry and Formal Theories of Arithmetic New Haven, CT: Yale University Press, 1971.

Goldblatt, Robert. Topoi: The Categorical Analysis of Logic Amsterdam: North-Holland, 1979.

  • Gonshor, Harry. An Introduction to the Theory of Surreal Numbers New York, NY: Cambridge University Press, 1986.

Henkin, Leon; Monk, J. Donald; and Tarski, Alfred. Cylindric Algebras, Amsterdam: North-Holland, 1971. 2 Vols.

Hindley, J. Roger and Seldin, Jonathan P. Introduction to Combinators and $ambda$-Calculus New York, NY: Cambridge University Press, 1986.

  • Takeuti, Gaisi. Proof Theory Amsterdam: North-Holland, 1975.
  • Tarski, Alfred. Ordinal Algebras Amsterdam: North-Holland, 1956.

Also on Fandom

Random wikia