I can second this as a wonderful introduction to the proofs. This is the book that got me into logic and formal methods.