Sets, Logic and Categories

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel''s Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is ...