books.google.com - This modem introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: • Why is the truth table for the logical implication so unintuitive? • Why are there no recipes to design proofs? • Where...http://books.google.com/books/about/Foundations_of_Logic_and_Mathematics.html?id=_H_nJdagqL8C&utm_source=gb-gplus-shareFoundations of Logic and Mathematics