I highly recommend it.' Richard A. Shore, Cornell University 'This book gives a great introduction to mathematical logic for an advanced undergraduate or early graduate-level course. From ...

The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set theory, number theory, linear algebra, algebra and analysis. Specific ...