Totally agree! When I was in school, I took a logic class that used Boolos & Jeffrey's "Computability and Logic", which is a really great book. Chapter 2 is a

Totally agree! When I was in school, I took a logic class that used Boolos & Jeffrey's "Computability and Logic", which is a really great book. Chapter 2 is a very clear presentation of Cantor's diagonalization proof that there exist uncountable sets. It blew my mind.