Written with a minimal number of pre-requisites, this text can be used by college students in their first and second years of study, and by independent readers who want an accessible introduction to ...

In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions ...