TY  - BOOK

T1  - Sets, Models and Proofs

UR  - https://doi.org/10.1007/978-3-319-92414-4

PY  - 2018/01/01

AU  - Moerdijk I

AU  - van Oosten J

ED  - 

DO  - DOI: 10.1007/978-3-319-92414-4

PB  - Springer International Publishing

SN  - 9783319924137

Y2  - 2025/12/08

ER  -