Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulleti

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In t

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer

In Logic for Mathematicians, author Hamilton introduces the reader to the techniques and principle results of mathematical logic.

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer scien