* 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.
* 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.
* 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.
* 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.
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.
*** 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.
* 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.
** 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.
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.