Sets, Models and Proofs - Moerdijk, Ieke; Moerdijk, Ieke; van Oosten, Jaap (Springer International Publishing : Imprint: Springer, 2018)