Bibliography
BIBLIOGRAPHY [1] Abelson, Raziel, 'A Refutation of Mind-Body Identity', Philosophical Studies XXI (1970),85-89. [2] Ackerman, Wilhelm, 'BegrUndung des "tertium non datur" mittels der Hilbert schen Theorie der Widerspruchsfreiheit', Mathematische Annalen XCIII (1924), 1-34. [3] Anderson, Alan Ross, ed., Minds and Machines. Contemporary Perspectives in Philosophy Series. Englewood Cliffs, New Jersey: Prentice-Hall, 1964. [4] Arbib, Michael A., 'Some Comments on Self-Reproducing Automata', in Systems and Computer Science. Edited by John F. Hart and Satoru Takasu. Toronto: University of Toronto Press, 1967. [5] Baird, A. W. S., 'Pascal's Idea of Nature', Isis LXI (1970), 297-320. [6] Becker, Oskar, Beitriige zur phiinomenologischen Begrundung der Geometrie. 2, unveranderte Aufiage, Frieburg: Max Niemeyer, 1973. [7] Becker, Oskar, Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phiinomene. Freiburg: Max Niemeyer, Halle a. d. S., 1927. [8] Becker, Oskar, 'Das Symbolische in der Mathematik', in Bliitter fur Deutsche Philosophie. Bd. I, Heft. 4 (1928), 329-348. [9] Becker, Oskar, Die Grundlagen der Mathematik in Geschichtlicher Entwicklung. Freiburg: Karl Alber, 1954. [10] Bell, E. T., The Development of Mathematics. New York: McGraw-Hili, 1945. [II] Bell, John, and Machover, Moshe, A Course in Mathematical Logic. Amsterdam: North-Holland, 1974. [12] Benacerraf, Paul, 'God, the Devil, and Godel', Monist LI (1967), 9-33. [13] Benacerraf, Paul and Putnam, Hilary, eds., Philosophy of Mathematics: Selected Readings. Prentice-Hall Philosophy Series. Englewood Cliffs, New Jersey: Pren tice-Hail, 1964. [14] Benda, Miroslav, 'On Strong Axioms of Induction in Set Theory and Arithmetic', in Mathematical Logic in Latin America. Edited by A. Arruda, R.
[Show full text]