01471nam0 2200349 i 450 SUN012499120191030095004.9090.00N978-3-319-92414-420191029d2018 |0engc50 baengCH|||| |||||*Sets, models and proofsIeke Moerdijk, Jaap van OostenCham : Springer, 2018xiv141 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN00294432001 *Springer undergraduate mathematics series210 BerlinSpringer1998-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003ExxSet theory [MSC 2020]MFSUNC01993903C07Basic properties of first-order languages and structures [MSC 2020]MFSUNC02446903B10Classical first-order logic [MSC 2020]MFSUNC024530CHChamSUNL001889Moerdijk, IekeSUNV04306859494Oosten, Jaap vanSUNV096428316194SpringerSUNV000178650ITSOL20210503RICAhttp://doi.org/10.1007/978-3-319-92414-4SUN0124991UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1364 08eMF1364 20191029 Sets, models and proofs1563760UNICAMPANIA