Bibliography

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