Notes on logic and set theory

by P. T. Johnstone

This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for a…