Switch to: Citations

Add references

You must login to add references.
  1. Historia Mathematica.[author unknown] - 1973 - Journal of Symbolic Logic 38 (4):670-670.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Science and method.Henri Poincaré - 1914 - Mineola, N.Y.: Dover Publications. Edited by Francis Maitland.
    " Vivid . . . immense clarity . . . the product of a brilliant and extremely forceful intellect." — Journal of the Royal Naval Scientific Service "Still a sheer joy to read." — Mathematical Gazette "Should be read by any student, teacher or researcher in mathematics." — Mathematics Teacher The originator of algebraic topology and of the theory of analytic functions of several complex variables, Henri Poincare (1854–1912) excelled at explaining the complexities of scientific and mathematical ideas to lay (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Download  
     
    Export citation  
     
    Bookmark   188 citations  
  • Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • An essay on the psychology of invention in the mathematical field.Jacques Hadamard - 1945 - [New York]: Dover Publications.
    We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Undecidable Problems of Elementary Number Theory.John G. Kemeny - 1958 - Journal of Symbolic Logic 23 (3):359-360.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some Proposals for Reviving the Philosophy of Mathematics.Reuben Hersh - 1983 - Journal of Symbolic Logic 48 (3):871-872.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.
    We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We will in fact show (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings.Akihiro Kanamori - 2003 - Springer.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Ideas and Opinions.Albert Einstein, Carl Seelig & Sonja Bargmann - 1985 - Three Rivers Press.
    From one of the world's most important and enduring minds, Albert Einstein's ideas, thoughts, and philosophies on the world and its people. Copyright © Libri GmbH. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logic and Information.Keith Devlin - 1991 - Cambridge University Press.
    Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.
    Download  
     
    Export citation  
     
    Bookmark   281 citations  
  • Alfred Tarski. Life and Logic.Anita Burdman Feferman Y. Salomón Feferman - 2006 - Critica 38 (112):105-111.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Intuitionism and Formalism.L. E. J. Brouwer - 1913 - Bulletin of the American Mathematical Society 20:81-96.
    Download  
     
    Export citation  
     
    Bookmark   89 citations