A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all

Michael Potter shows, for the first time, that Wittgenstein's early Notes on Logic are a work of philosophical and historical importance. Using a challenging bl

This textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintai

Concise introduction to current topics in model theory, including simple and stable theories.