LEADER 01471nam0 2200349 i 450 
001 SUN0124991
005 20191030095004.909
010   $d0.00
017 70$2N$a978-3-319-92414-4
100   $a20191029d2018       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Sets, models and proofs$fIeke Moerdijk, Jaap van Oosten
205   $aCham : Springer, 2018
210   $axiv$d141 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0029443$12001 $a*Springer undergraduate mathematics series$1210  $aBerlin$cSpringer$d1998-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Exx$xSet theory [MSC 2020]$2MF$3SUNC019939
606   $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$2MF$3SUNC024469
606   $a03B10$xClassical first-order logic [MSC 2020]$2MF$3SUNC024530
620   $aCH$dCham$3SUNL001889
700  1$aMoerdijk$b, Ieke$3SUNV043068$059494
701  1$aOosten$b, Jaap van$3SUNV096428$0316194
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20210503$gRICA
856 4 $uhttp://doi.org/10.1007/978-3-319-92414-4
912   $aSUN0124991
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  1364        $e08eMF1364              20191029            
996   $aSets, models and proofs$91563760
997   $aUNICAMPANIA