books.google.com - 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 mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on...http://books.google.com/books/about/Introduction_to_Mathematical_Logic_Fourt.html?id=ZO1p4QGspoYC&q=Prove&utm_source=gb-gplus-shareIntroduction to Mathematical Logic, Fourth Edition

No eBook available
## Introduction to Mathematical Logic, Fourth EditionBy Elliott Mendelson |