Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. …
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer …
