LEADER 02361nam0 22005653i 450 001 VAN0268023 005 20240119032313.592 017 70$2N$a9781468494525 100 $a20231128d1976 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aMathematical Logic$fJ. Donald Monk 210 $aNew York$cSpringer$d1976 215 $ax, 532 p.$d24 cm 410 1$1001VAN0023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$v37 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a06-XX$xOrder, lattices, ordered algebraic structures [MSC 2020]$3VANC019973$2MF 606 $a26E35$xNonstandard analysis [MSC 2020]$3VANC021236$2MF 606 $a08-XX$xGeneral algebraic systems [MSC 2020]$3VANC022421$2MF 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a11U05$xDecidability (number-theoretic aspects) [MSC 2020]$3VANC030761$2MF 610 $aAlgorithms$9KW:K 610 $aBoundary Element Methods$9KW:K 610 $aComputability theory$9KW:K 610 $aConstruction$9KW:K 610 $aDecidability$9KW:K 610 $aFunctions$9KW:K 610 $aLogic$9KW:K 610 $aMathematica$9KW:K 610 $aMathematical analysis$9KW:K 610 $aMathematical logic$9KW:K 610 $aModel theory$9KW:K 610 $aRecursion$9KW:K 610 $aTuring$9KW:K 610 $aTuring degree$9KW:K 610 $aTypes$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aMonk$bJames D.$3VANV044025$0726237 712 $aSpringer $3VANV108073$4650 790 1$aMonk, James Donald$zMonk, James D.$3VANV081118 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4684-9452-5$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 $aVAN0268023 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7351 $e08eMF7351 20231204 996 $aMathematical Logic$93597396 997 $aUNICAMPANIA