LEADER 02268nam0 22005173i 450 001 VAN0268201 005 20240305115417.601 017 70$2N$a9781461587507 100 $a20231130d1978 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aMathematical Logic$eAn Introduction to Model Theory$fA. H. Lightstone$gedited by H. B. Enderton 210 $aNew York$cPlenum$d1978 215 $axiii, 338 p.$cill.$d24 cm 410 1$1001VAN0268026$12001 $aMathematical Concepts and Methods in Science and Engineering$1210 $aNew York$cPlenum ; [poi] Springer$v9 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03H05$xNonstandard models in mathematics [MSC 2020]$3VANC020826$2MF 606 $a03B05$xClassical propositional logic [MSC 2020]$3VANC021402$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03E30$xAxiomatics of classical set theory and its fragments [MSC 2020]$3VANC024397$2MF 606 $a03C35$xCategoricity and completeness of theories [MSC 2020]$3VANC024492$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 610 $aCalculus$9KW:K 610 $aForms$9KW:K 610 $aLanguage$9KW:K 610 $aLogic$9KW:K 610 $aMathematica$9KW:K 610 $aMathematical logic$9KW:K 610 $aNatural$9KW:K 610 $aProofs$9KW:K 610 $aProposition$9KW:K 610 $aSet Theory$9KW:K 610 $aVariables$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aLightstone$bAlbert H.$3VANV220346$01437091 712 $aEnderton, Herbert B.$3VANV044276$4650 712 $aPlenum $3VANV108321$4650 801 $aIT$bSOL$c20240308$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4615-8750-7$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 $aVAN0268201 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7411 $e08eMF7411 20231204 996 $aMathematical Logic$93597433 997 $aUNICAMPANIA