books.google.com - A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students....http://books.google.com/books/about/A_Mathematical_Introduction_to_Logic.html?id=dVncCl_EtUkC&q=compactness+theorem&utm_source=gb-gplus-shareA Mathematical Introduction to Logic

Get this book in print
## A Mathematical Introduction to LogicBy Herbert Enderton, Herbert B. Enderton |