LEADER 01704nam0 2200457 i 450 001 VAN00060346 005 20250311095947.235 010 $a03-87950-60-5 100 $a20070711d2001 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aUnderstanding analysis$fStephen Abbott 210 $aNew York$cSpringer$d2001 215 $aXII, 257 p.$cill.$d24 cm 410 1$1001VAN00024019$12001 $aUndergraduate texts in mathematics$1210 $aBerlin [etc.]$cSpringer$d1958- 500 1$3VAN00235326$aUnderstanding analysis$9378435 606 $a26-XX$xReal functions [MSC 2020]$3VANC019778$2MF 610 $aAlgebra$9KW:K 610 $aBoundary Element Methods$9KW:K 610 $aConvergence$9KW:K 610 $aDifferentiable functions$9KW:K 610 $aFunction$9KW:K 610 $aIntegral$9KW:K 610 $aIntegrations$9KW:K 610 $aMetric spaces$9KW:K 610 $aReal analysis$9KW:K 610 $aReal numbers$9KW:K 610 $aSets$9KW:K 610 $aTaylor series$9KW:K 610 $aVariable$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aAbbott$bStephen$3VANV047661$0352205 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20251121$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Abbott - Understanding analysis.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00060346 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 26-XX 0010 $e08 7823 I 20070711 996 $aUnderstanding analysis$9378435 997 $aUNICAMPANIA LEADER 02751nam0 22006613i 450 001 VAN00274931 005 20260130090753.758 017 70$2N$a9783030738396 100 $a20240415d2021 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 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 300 $aTradotto dal tedesco 410 1$1001VAN00023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$d1950-$v291 500 1$3VAN00293249$aEinführung in die mathematische Logik$94383207 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$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 $aGödel incompleteness 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$c20260206$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 $aVAN00274931 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 8309 $e08eMF8309 20240430 996 $aEinführung in die mathematische Logik$94383207 997 $aUNICAMPANIA