LEADER 02596nam0 22006133i 450 001 VAN0274931 005 20240529114811.388 017 70$2N$a9783030738396 100 $a20240415d2021 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aMathematical Logic$fHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas 205 $a3. ed 210 $aCham$cSpringer$d2021 215 $aix, 304 p.$cill.$d24 cm 410 1$1001VAN0023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$v291 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 610 $aAxiom system logic$9KW:K 610 $aComputability logic$9KW:K 610 $aFirst-order language$9KW:K 610 $aFirst-order logic$9KW:K 610 $aGraduate mathematical logic$9KW:K 610 $aGödel?s completeness theorem$9KW:K 610 $aHerbrand's theorem$9KW:K 610 $aInfinitary languages$9KW:K 610 $aLindström?s theorem$9KW:K 610 $aLogic computer science$9KW:K 610 $aMathematical logic$9KW:K 610 $aMathematical provability$9KW:K 610 $aModel theory logic$9KW:K 610 $aPresburger arithmetic$9KW:K 610 $aPropositional logic$9KW:K 610 $aSecond order logic$9KW:K 610 $aTrakhtenbrot?s theorem$9KW:K 610 $aWeak monadic second order$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aEbbinghaus$bHeinz-Dieter$3VANV024409$046491 701 1$aFlum$bJörg$3VANV044268$055649 701 1$aThomas$bWolfgang$f1947- $3VANV044291$0725869 712 $aSpringer $3VANV108073$4650 790 1$aEbbinghaus, H.-D.$zEbbinghaus, Heinz-Dieter$3VANV044267 790 1$aFlum, Jorg$zFlum, Jörg$3VANV062007 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-030-73839-6$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 $aVAN0274931 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 8309 $e08eMF8309 20240430 996 $aMathematical logic$91424697 997 $aUNICAMPANIA LEADER 01119cam2 22002531 450 001 SOBE00081340 005 20241024123640.0 100 $a20241024d1853 |||||ita|0103 ba 101 $ager 102 $aDE 200 1 $a<<3: >>Musarion. Die Grazien. Der verklagte Amor. Nadine. Erdenglück. Celia an Damon. Bruchstücke von Psyche.; Das Leben ein Traum. Aspasia$fChristoph Martin Wieland 210 $aLeipzig$cGöschen$d1853 215 $a312 p.$d15 cm 461 1$1001E600200037384$12001 $aSämmtliche Werke / Christoph Martin Wieland$v3 700 1$aWieland$b, Christoph Martin$3A600200027275$4070$0174973 801 0$aIT$bUNISOB$c20241024$gRICA 850 $aUNISOB 852 $aUNISOB$j090$m38105 912 $aSOBE00081340 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a090$b000042$i-3$gCON$d38105$racquisto$1bethb$2UNISOB$3UNISOB$420241024112513.0$520241024112615.0$6bethb$fConsultabile previa autorizzazione 996 $aMusarion. Die Grazien. Der verklagte Amor. Nadine. Erdenglück. Celia an Damon. Bruchstücke von Psyche.; Das Leben ein Traum. Aspasia$94297318 997 $aUNISOB LEADER 01256nam0 22003131i 450 001 UON00201988 005 20231205103257.643 010 $a05-8229-139-9 100 $a20030730d1993 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| 1|||| 200 1 $aEnglish historical syntax$everbal constructions$fDavid Denison 210 $aLondon$cNew York$cLongman$d1993 215 $axiv, 530 p.$d24 cm. 410 1$1001UON00087999$12001 $aLongman linguistics library$fGeneral editors: R. H. Robins, Geoffrey Horricks, David Denison 606 $aLINGUA INGLESE$xGrammatica storica$3UONC042169$2FI 606 $aLingua inglese$xSintassi$3UONC032358$2FI 620 $aUS$dNew York$3UONL000050 620 $aGB$dLondon$3UONL003044 676 $a425$cGrammatica dell'inglese standard$v21 700 1$aDENISON$bDavid$3UONV098430$0220815 712 $aLongman$3UONV246453$4650 801 $aIT$bSOL$c20250627$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00201988 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Angl VIII 0136 $eSI LO 61127 5 0136 996 $aEnglish historical syntax$9628994 997 $aUNIOR