Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Books on mathematical Logic

  1. Feb 16, 2005 #1
    Hi everybody,
    I am looking for books about Logic and Set Theory. In particular, I am looking for not very advanced books. What are axioms, how do theorems connect to the axioms, how are we sure that some methods of proving give always correct and general results-these are some of the questions that I am looking for answers (i think this is part of mathematical logic, isn't it?). Any help would be appreciated

    P.S: I don't live in the U.S.A or U.K. so as you understand, only really well-known books might be found in my country. So I would prefer you to suggest some of the "classics" that can probably be found everywhere
  2. jcsd
  3. Feb 17, 2005 #2
    "Discrete Mathematics" from Kenneth Rosen, McGraw Hill, is a classic. It treats logic (along with other topics like number theory, sets, probability, Boolean Algebra, algorithms, etc) in depth, in clear language for beginners, with plenty of examples, exercises and case studies, many of which are drawn from computer science.
  4. Feb 18, 2005 #3
    Thanks for your suggestion. I will check it out
  5. Feb 23, 2005 #4

    Tom Mattson

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    A really great modern introduction to the subject is Language, Proof and Logic by Jon Barwise and John Etchemendy. Not only is the text superb, but it comes with software by which you can formulate arguments. And then you can send your solutions to their website's "Grade Grinder", and they will evaluate them for you!

    The homepage (at Stanford) is here:

    http://www-csli.stanford.edu/LPL/ [Broken]

    Do check it out!
    Last edited by a moderator: May 1, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook