By Kaye L.

This textbook covers the most important fabric for a regular first path in good judgment for undergraduates or first-year graduate scholars, specifically, providing a whole mathematical account of crucial lead to common sense: the Completeness Theorem for first-order common sense. taking a look at a sequence of attention-grabbing platforms expanding in complexity, then proving and discussing the Completeness Theorem for every, the writer guarantees that the variety of new innovations to be absorbed at each one degree is possible, while delivering vigorous mathematical purposes all through. unusual terminology is stored to a minimal; no historical past in formal set-theory is needed; and the publication includes proofs of all of the required set theoretical results.The reader is taken on a trip beginning with Konig's Lemma, and progressing through order kin, Zorn's Lemma, Boolean algebras, and propositional good judgment, to the Completeness and Compactness of first-order common sense. As functions of the paintings on first-order good judgment, ultimate chapters supply introductions to version idea and non-standard research.