02432nam0 22005773i 450 VAN0026802320250711092450.400N978146849452520231128d1976 |0itac50 baengUS|||| |||||Mathematical LogicJ. Donald MonkNew YorkSpringer1976x, 532 p.24 cm001VAN000235792001 Graduate texts in mathematics210 New York [etc.]Springer1950-3703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF06-XXOrder, lattices, ordered algebraic structures [MSC 2020]VANC019973MF08-XXGeneral algebraic systems [MSC 2020]VANC022421MF11U05Decidability (number-theoretic aspects) [MSC 2020]VANC030761MF26E35Nonstandard analysis [MSC 2020]VANC021236MFAlgorithmsKW:KBoundary Element MethodsKW:KComputability theoryKW:KConstructionsKW: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.VANV081118Monk, J. DonaldMonk, James D.VANV240761ITSOL20250718RICAhttps://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-CE0120VAN08NVAN00268023BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7351 08eMF7351 20231204 Mathematical Logic3597396UNICAMPANIA