Wikia

Scratchpad

Logic and foundations (book list)

Talk0
161,628pages on
this wiki

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.

Around Wikia's network

Random Wiki