Publisher's Synopsis
In this book, the authors cover first order logic and the main topics of set theory in a clear mathematical style with sensible philosophical discussion. The emphasis is on presenting the use of set theory in various areas of mathematics.