Logic, Induction and Sets - Thomas (University of Cambridge) Forster - Bog

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.