01990nas 2200421 n 450 99000894369040332120240229084453.00249-6321000894369FED01000894369(Aleph)000894369FED01000894369CNRP 0007434520090724b19791983km-y0itaa50------bafreauu--------Comptes rendus des séances de l'Académie des Sciences. Vie académique1979-1983ParisGauthier-Villars0010008943852001Comptes rendus hebdomadaires des séances de l'Académie des Sciences. Vie académique0010008943592001Comptes rendus de l'Académie des Sciences. Série générale. La vie des sciences2001<<Les >>Nouvelles de l'académieComptes rendus des séances de l'Académie des Sciences. Vie académique061.25:06.0506.05:5505Académie des sciences<Francia>ITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=48382&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008943690403321Biblioteca Centralizzata. Facoltà di Agraria dell'Università Federico II di Napoli1979-1980;1982;LAC.FAGBCFAGBCComptes rendus des séances de l'Académie des Sciences. Vie académique797151UNINA866-01NA087 Biblioteca Centralizzata. Facoltà di Agraria dell'Università Federico II di Napoliv. Università, 100 Palazzo Reale, 80055 Portici (NA)081-2539322081-7760229itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=48382&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO02361nam0 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