LEADER 01960nam0 2200457 i 450 001 VAN00124991 005 20240806100817.800 017 70$2N$a9783319924144 100 $a20191029d2018 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aSets, models and proofs$fIeke Moerdijk, Jaap van Oosten 210 $aCham$cSpringer$d2018 215 $axiv, 141 p.$cill.$d24 cm 410 1$1001VAN00029443$12001 $aSpringer undergraduate mathematics series$1210 $aBerlin [etc.]$cSpringer$d1998- 500 1$3VAN00236488$aSets, models and proofs$91563760 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 610 $aAxiom of choice$9KW:K 610 $aCompleteness theorem$9KW:K 610 $aFirst-order logic$9KW:K 610 $aMathematical logic$9KW:K 610 $aModel theory$9KW:K 610 $aProof tree$9KW:K 610 $aQuantifier elimination$9KW:K 610 $aSet Theory$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aMoerdijk$bIeke$3VANV043068$059494 701 1$aOosten$bJaap van$3VANV096428$0316194 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250314$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-319-92414-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00124991 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 1364 $e08eMF1364 20191029 996 $aSets, models and proofs$91563760 997 $aUNICAMPANIA