TY - BOOK AU - Moerdijk Leke AU - Oosten Jaap van TI - Sets, models and proofs T2 - Springer undergraduate mathematics series U1 - B31:28, Q8 PY - 2018/// CY - Switzerland PB - Springer KW - Mathematics ER -