Bibliography
Ackermann, W. 1959. Solvable cases of the decision problem. Amsterdam : North-Holland.
Barnsley, Michael F. 1988. Fractals Everywhere. San Diego : Academic Press.
Beth, Evert W. 1959. The Foundations of Mathematics. Amsterdam : North-Holland.
Bennaceraf, P and Putnam, Hilary (eds.). 1964. Philosophy of Mathematics : Selected Readings. Englewood Cliffs : Prentice-Hall.
Bernays, Paul. 1958. Axiomatic Set Theory. Amsterdam : North-Holland.
Black, Max. 1959. The Nature of Mathematics. Paterson : Littlefield Adams.
Bourbaki, Nicholas. 1958-64. Elements De Mathematique ( Vol I - XXIV ). Paris : Hermann.
Bouvere, K. L. De. 1959. A Method in Proofs of Undefinability. Amsterdam : North-Holland.
Church, Alonzo. 1937. Introduction to Mathematical Logic. New York : Dover.
Carnap, Rudolf. 1959. The Logical Syntax of Language. Paterson : Littlefield Adams.
Carnap, Rudolf. 1958. Introduction to Symbolic Language and its Applications. New York : Dover.
Carnap, Rudolf. 1950. The Logical Foundations of Probability. Chicago : University Press.
Cohen,Paul J. 1966. Set Theory and the Continuum Hypothesis. New York : W. A. Benjamin.
Davis, Martin (ed.). 1965. The Undecidable. NewYork : Raven Press.
Fraenkel, Abraham A. 1961. Abstract Set Theory. 2nd edn. Amsterdam : North-Holland.
Fraenkel, Abraham A. 1962. Foundations of Mathematics. Amsterdam : North-Holland.
Fraenkel, Abraham A. and Bar-Hillel, Y. 1958. Foundations of Set Theory. Amsterdam : North-Holland.
Frege, Gottlob. 1960. Foundations of Arithmetic. ( English translation ) New York : Harper & Bros.
Gödel, Kurt. 1967. ' On Formally Undecidable Propositions of Principia Mathematica and Related Systems I (1931) '. In Gödel's Theorem in focus, edited by S.G.Shanker. London : Croom Helm. (Reprinted from the translation by Jean van Heijenoort in : From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931. Jean van Heijenoort (ed.). Cambridge,Mass., Harvard University Press, 1967 )
Gödel, Kurt. 1931. ' On Formally Undecidable Propositions of Principia Mathematica and Related Systems I '. In The Undecidable, edited by Martin Davis. New York : Raven Press. (Translated specially for the anthology by Professor Elliott Mendelson of Queen's College, New York City )
Gödel, Kurt. 1965. ' On Undecidable Propositions of Formal Mathematical Systems '. In The Undecidable, edited by Martin Davis. New York : Raven Press. (Reprinted from mimeographed notes prepared by S.C.Kleene and J.B.Rosser on lectures given by Professor Kurt Gödel at the Institute for Advanced Study, Princeton, during the spring of 1934; prepared and edited specially for the anthology by Professor Kurt Gödel.)
Halmos, P.R.. 1960. Naive Set Theory. New York : Van Nostrand.
Hardy, G.H. 1960. A Course in Pure Mathematics. Cambridge, Cambridge University Press.
Hardy, G.H. 1956. A Mathematician's Apology. In The World of Mathematics. New York : Simon & Schuster.
Hardy, G.H. & Wright, E.M. 1960. An Introduction to The Theory of Numbers. Oxford, Clarendon Press.
Heyting, A. 1956. Intuitionism. Amsterdam : North-Holland.
Heyting, A. 1958. Constructivity in Mathematics. Amsterdam : North-Holland.
Hilbert, David and Ackermann, 1950. W. Principles of Mathematical Logic. New York : Chelsea.
Hofstadter, Douglas R. 1982. Gödel, Escher, Bach : An Eternal Golden Braid. Harmondsworth : Penguin Books.
Hofstadter, Douglas R. and Dennett, D.C. (eds.). 1981. The Mind's I. Harmondsworth : Penguin Books.
Hofstadter, Douglas R. and Rucker, R. 1982. Infinity and the Mind. Brighton, Sussex : Harvester Press.
Kneebone,G.T. 1963. Mathematical Logic and the Foundations of Mathematics. London : Van Nostrand.
Landau, E.G.H. 1951. Foundations of Analysis. New York : Chelsea.
Mendelson, Elliott. 1964. Introduction to Mathematical Logic. Princeton : Van Nostrand.
Newman, James R. 1956. The World of Mathematics. New York : Simon & Schuster.
Peitgen, H.-O. & Richter, P.H. 1986. The Beauty of Fractals. Berlin : Springer-Verlag.
Peitgen, H.-O. & Saupe, D. 1988. The Science of Fractal Images. Berlin : Springer-Verlag.
Quine, Willard V. 1953. From the logical point of view. Cambridge : Harvard University Press.
Quine, Willard V. 1963. Set Theory and its Logic. London :Oxford University Press.
Ramsey, F.P. 1960. The Foundations of Mathematics. Paterson : Littlefield Adams.
Rosser, J.B. 1953. Logic for Mathematicians. New York : McGraw Hill.
Rudin, Walter. 19__. Principles of Mathematical Analysis ( International Student Edition ). New York : McGraw-Hill & Tokyo : Kogakusha.
Rudin, Walter. 1966. Real and Complex Analysis. New York : McGraw-Hill.
Russell,Bertrand A.W. 19__. An Introduction to Mathematical Philosophy. London : George Allen & Unwin.
Russell,Bertrand A.W. 1940. An Inquiry into Meaning and Truth. London : Penguin.
Russell,Bertrand A.W. 1903. The Principles of Mathematics. London : Bradford & Dickens.
Russell,Bertrand A.W. 1956. The Foundation of Geometry. New York : Dover.
Shanker,S.G. (ed.). 1988. Gödel's Theorem in Focus. London : Croom Helm.
Suppes, P. 1960. Axiomatic Set Theory. New York : Van Nostrand.
Titchmarsh, E.C. 1961. The Theory of Functions. London : Oxford University Press.
Wang, Hao. 1964. A Survey of Mathematical Logic. Amsterdam : North Holland.
Wang, Hao. 1981. Popular Lectures on Mathematical Logic. New York : Van Nostrand, 1981 and Beijing : Science Press, 1981.
Whitehead, Alfred North and Russell,Bertrand A.W. 1962. Principia Mathematica. New York : Cambridge University Press.
Wilder, Raymond. 1965. Introduction to the Foundations of Mathematics. New York : John Wiley & Sons.
◄ Index
◄ Title ◄ Preface ◄ Contents ◄ Section 1 ◄ Section 2
◄ Section
3 ◄ Section 4 ◄ References ◄ Roots ▲ Bibliography Web_links ►
(Updated : 10/11/01 1:57:50 AM by re@alixcomsi.com)