Sets, Models and Proofs - Moerdijk, Ieke. (Springer International Publishing,)