The American College Dictionary, New York, 1960.
Banach, S. and A. Tarski. "Sur la décomposition des ensembles de points en parties respectivement congruentes," Fundamenta Mathematicae, 1924, 6:244-277.
Bar-Hillel, Y., ed. Logic, Methodology, and Philosophy of Science, Amsterdam, 1995.
Bar-Hillel, Y. "On a neglected ontology-free philosophy of mathematics," Problems in the Philosophy of Mathematics, ed. by J. Lakatos. Amsterdam, 1967, pp. 136-137.
Benacerraf, P. and H. Putnam, eds. Philosophy of Mathematics. Englewood Cliffs, 1964.
Borel, E. Éléments de la Théorie des Ensembles. Paris, 1949.
Borel, E. Elements of the Theory of Probability, trans. by John E. Freund. Englewood Cliffs, 1965.
Borel, E. Leçons sur la Théorie des Fonctions, 4th ed. Paris, 1950.
Borsuk, K. and W. Szmielew. Foundations of Geometry. Amsterdam, 1960.
Brouwer, L. E. J. "Intuitionism and Fomalism," Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam. Englewood Cliffs, 1964, pp. 66-77.
Carnap, Rudolf. "Empiricism,, Semantics, and Ontology," reprinted in Meaning and Necessity, 4th ed. Chicago, 1964, pp. 206-213.
Carnap, Rudolf. The Logical Structure of the World/Pseudoproblems in Philosophy, trans. by Rolf A. George. Los Angeles, 1967.
Carnap, Rudolf. Meaning and Necessity, 4th ed. Chicago, 1964.
Church, Alonzo. Introduction to Mathematical Logic, Vol. I. Princeton, 1956.
Cohen, Paul J. Set Theory and the Continuum Hypothesis. New York, 1966.
Davis, M., ed. The Undecidable. Hewlett, 1965.
Descartes, R. Meditations on First Philosophy, 2nd ed., trans. by Laurence J. Lafleur. New York, 1960.
Feferman, S. The Number Systems. Reading, 1964.
Fefeman, S. "Systems of Predicative Analysis," Journal of Symbolic Logic, 1964, 29:l-30.
Felix, L. The Modern Aspect of Mathematics, trans. by J. H. Hlavaty and F. H. Hlavaty. New York, 1960.
Fraenkel, A. A. and Y. Bar-Hillel. Foundations of Set Theory. Amsterdam, 1958.
Gaifman, H. "Infinite Boolean Polynomials, I," Fundamenta Mathematicae, 1964, 54:229-250.
Gödel, K. "The Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis," Proceedings of the National Academy of Sciences, 1938, 24:556-557.
Gödel, K. The Consistency of the Continuum Hypothesis, 7th printing. Princeton, 1966.
Gödel., K. "An example of a new type of cosmological solutions of Eistein's Field equations of gravitation," Reviews of Modem Physics, 1949, 21:447-450.
Gödel, K. "On Formally Undecidable Propositions of Principia Mathematics and Related Systems. I," The Undecidable, ed. by M. Davis. Hewlett, 1965, pp. 4-38.
Gödel, K. "Rotating universes in general relativity theory," Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, Published by the American Mathematical Society, Providence, R. I., 1952, T:175-181.
Gödel, K. "Russell's Mathematical Logic," Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam. Englewood Cliffs, 1964, pp. 211-232.
Gödel, K. "What is Cantor's Continuum Problem?" Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam. Englewood Cliffs, 1964, pp. 258-273.
Gödel, K. "Zur intuitionistischen Arithmetik und Zahlentheorie," Ergebnisse eines matematischen Kolloquiums. 4:34-38.
Goodman, N. and W. V. Quine. "Steps toward a Constructive Nominalism," Journal of Symbolic Logic, 1947, 12:105-122.
Goodman, N. The Structure of Appearance, 2nd ed. New York, 1966.
Graves, L. M. The Theory of Functions of Real Variables, 2nd ed. New York, 1956.
Hermes, H. Enumerability, Decidability, Computability, trans. by G. T. Tierman and 0. Plassmann. New York, 1965.
Hilbert, D. The Foundations of Geometry, 2nd ed., trans. of Grundlagen der Geometrie by E. J. Townsend. Chicago, 1921.
Hume, D. A Treatise of Human Nature, ed. by L. A. Selby-Bigge, Oxford, 1964.
Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics Warsaw 12-9 September 1959. New York, 1961.
Kleene, S. C. Introduction to Metamathematics. Princeton, 1952.
Lakatos, I., ed. Problems in the Philosophy of Mathematics. Amsterdam, 1967.
Leibniz, G. W. "Dialogus de connexione inter res et verba," Gottfried Wilhelm Leibniz: Philosophical Papers and Letters, Vol. I, trans. by Leroy E. Loemker. Chicago, 1956.
Levi, H. Foundations of Geometry and Trigonometry. Englewood Cliffs, 1960.
Locke, J. An Essay Concerning Human Understanding, ed. by A. D. Woozley. New York, 1964.
Lusin, Nicholas. "Sur les ensembles analytiques," Fundamenta Mathematicae, 1926, 10:1-95.
Lyndon, R. C. Notes on Logic. Princeton, 1966.
MacLane, S. "Locally small categories and the foundations of set theory," Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics Warsaw 12-9 September 1959. New York, 1961, pp. 25-43.
Madden, E. H. "Review of Schlegel's Completeness in Science," Philosophy of Science, 1967, 34:386-388.
Pierpont, J. Lectures on the Theory of Functions of Real Variables, Vol. I. Boston, 1905.
Quine, W. V. 0. Set Theory and its Logic. Cambridge, 1963.
Quine, W. V. 0. "On What There Is," Philosophy of Mathematics, P. Benacerraf and H. Putnam, eds. Englewood Cliffs, 1964, pp. 183-196.
Ramsey, F. P. The Foundations of Mathematics. London, 1931.
Robinson, A. "Formalism 64," Logic, Methodology, and Philosophy of Science, ed. by Y. Bar-Hillel. Amsterdam, 1965, pp. 228-246.
Rosser, J. B. Logic for Mathematicians. New York, 1953.
Schlegel, R. Completeness in Science. New York, 1967.
Schlegel, R. "The Problem of Infinite Matter in Steady-State Cosmology," Philosophy of Science, 1965, 32:22-24.
Sierpinski, W, "The axiom of choice. Controversy about it." Cardinal and Ordinal Numbers. Warszawa, 1958.
Sierpinski, W. Elementary Theory of Numbers, trans. by A. Hulanicki. Warszawa, 1964.
Sierpinski, W. Leçons sur les Nombres Transfinis. Paris, 1928.
Suppes, P. Axiomatic Set Theory. Princeton, 1960.
Tarski, A. Logic, Semantics, Metamathematics. Oxford, 1956.
Tarski, A., A. Mostowski, and R. M. Robinson, eds. Undecidable Theories. Amsterdam, 1953.
Weyl, H. Das Kontinuum. Chelsea Publishing Company, New York, n.d.