books.google.com - A comprehensive account of the constructive theory of the first-order predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the...http://books.google.com/books/about/Foundations_of_Mathematical_Logic.html?id=27dkTJFrLZIC&utm_source=gb-gplus-shareFoundations of Mathematical Logic