02361nam0 22005653i 450 VAN026802320240119032313.592N978146849452520231128d1976 |0itac50 baengUS|||| |||||Mathematical LogicJ. Donald MonkNew YorkSpringer1976x, 532 p.24 cm001VAN00235792001 Graduate texts in mathematics210 New York [etc.]Springer3703-XXMathematical logic and foundations [MSC 2020]VANC019750MF06-XXOrder, lattices, ordered algebraic structures [MSC 2020]VANC019973MF26E35Nonstandard analysis [MSC 2020]VANC021236MF08-XXGeneral algebraic systems [MSC 2020]VANC022421MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF11U05Decidability (number-theoretic aspects) [MSC 2020]VANC030761MFAlgorithmsKW:KBoundary Element MethodsKW:KComputability theoryKW:KConstructionKW:KDecidabilityKW:KFunctionsKW:KLogicKW:KMathematicaKW:KMathematical analysisKW:KMathematical logicKW:KModel theoryKW:KRecursionKW:KTuringKW:KTuring degreeKW:KTypesKW:KUSNew YorkVANL000011MonkJames D.VANV044025726237Springer <editore>VANV108073650Monk, James DonaldMonk, James D.VANV081118ITSOL20240614RICAhttps://doi.org/10.1007/978-1-4684-9452-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0268023BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7351 08eMF7351 20231204 Mathematical Logic3597396UNICAMPANIA