01960nam0 2200457 i 450 VAN0012499120240806100817.800N978331992414420191029d2018 |0itac50 baengCH|||| |||||Sets, models and proofsIeke Moerdijk, Jaap van OostenChamSpringer2018xiv, 141 p.ill.24 cm001VAN000294432001 Springer undergraduate mathematics series210 Berlin [etc.]Springer1998-VAN00236488Sets, models and proofs156376003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03ExxSet theory [MSC 2020]VANC019939MFAxiom of choiceKW:KCompleteness theoremKW:KFirst-order logicKW:KMathematical logicKW:KModel theoryKW:KProof treeKW:KQuantifier eliminationKW:KSet TheoryKW:KCHChamVANL001889MoerdijkIekeVANV04306859494OostenJaap vanVANV096428316194Springer <editore>VANV108073650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-319-92414-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00124991BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 1364 08eMF1364 20191029 Sets, models and proofs1563760UNICAMPANIA