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

A book in logic

  1. Oct 21, 2011 #1
  2. jcsd
  3. Oct 22, 2011 #2
    please , I want your help
  4. Oct 23, 2011 #3


    User Avatar
    Gold Member

    I looked at the other thread and it seems to me that you are likely needing to understand more about how to do proofs versus calculating rather than a book on formal / mathematical logic. The thread that you referenced points off to the "forall x" online text which is really a nice text on logic so that should tell you whether that's what you're looking for. On the other hand, I think that Beck and Geoghegan's "The Art of Proof - Basic Training for Deeper Mathematics" may be more in line with the kind of question that you were asking in the other thread.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook