1
by Andrews, Peter B.
Published 2002
Springer Netherlands
...'s Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs...