Ieke Moerdijk, Jaap van Oosten Sets, Models and Proofs - Springer Springer 2018 ISBN: 9783319924144 Source: EBOOK