The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide. The writing is both rigorous and thorough, and the authors use compact presentations to support their explanations and proofs. Highly recommended.