Logic, Induction and Sets

af Thomas (University of Cambridge) Forster

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points are presented in an engaging fashion and furthered by the aid of many exercises. Little previous knowledge of logic is required, only a background of standard undergraduate mathematics is assumed.