Logic for Mathematicians

Hailed by the "Bulletin of the American Mathematical Society" as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. 1978 edition.