Sets, Models and Proofsby Ieke Moerdijk, Jaap van OostenMathematicsWriting a summary for young readers…For young readersBook data: Open Library