Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. It is self-contained and covers all the set theory that a mathematician should know. This book is intended for graduate students and researchers in mathematical logic.


First-order Logic

by Raymond M Smullyan

Published 1 April 1995