TY - BOOK T1 - Sets, Models and Proofs PY - 2018/02/03 AU - Moerdijk I AU - van Oosten J ED - DO - DOI: 10.1007/978-3-319-92414-4 PB - Springer International Publishing SN - 9783319924137 Y2 - 2024/12/22 ER -