Both authors have extensive experience in teaching the material covered in this book, and have been active researchers in mathematical logic and related fields. Ieke Moerdijk co-authored the influential Springer text  "Sheaves in Geometry and Logic, a First Course in Topos Theory", together with Saunders Mac Lane. Jaap van Oosten is an expert on realizability models for systems of constructive logic, and is the author of a comprehensive monograph on the subject: "Realizability: An Introduction to its Categorical Side" . 

Introduction.- 1 Sets.- 2 Models.- 3 Proofs.- 4 Sets Again.- Appendix: Topics for Further Study.- Photo Credits.- Bibliography.- Index.