Building on the foundation set by Schoenfield, Hinman (mathematics, U. of Michigan) covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's incompleteness theorems, leading to introductions to set theory, model theory and recursion (computability) theory. Written for graduate students at the introductory level, this text also covers first-order logic completeness and compactness, and definability. Hinman includes a wealth of examples and exercises, along with a very handy item index and a symbol index ordered by chapter, which should be made a requirement in introductory texts. Annotation ©2006 Book News, Inc., Portland, OR (booknews.com)