@book{1635411,
	author = {Ieke Moerdijk, Jaap van Oosten},
	title = {Sets, Models and Proofs},
	publisher = {Springer},
	url = {https://link.springer.com/openurl?genre=book&isbn=978-3-319-92414-4}
}