02745nam2 2200397 i 450 SUN002114020180725023339.27978-01-985005-0-60.0020061101d2001 |0engc50 baengUS|||| |||||2: *Recursion theory, Godels theorems, set theory, model theoryRené Cori and Daniel Lascartranslated by Donald H. PelletierOxfordOxford University2001XX, 331 p.ill.24 cm.001SUN00211352001 *Mathematical logica course with exercisesRené Cori and Daniel Lascartranslated by Donald H. Pelletier2210 OxfordOxford University2000-2001215 volumi24 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003E30Axiomatics of classical set theory and its fragments [MSC 2020]MFSUNC02439703F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103C07Basic properties of first-order languages and structures [MSC 2020]MFSUNC02446903D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]MFSUNC024470GBOxfordSUNL000020Cori, RenéSUNV056270730905Lascar, DanielSUNV04356059898Pelletier, Donald H.SUNV084057730Oxford universitySUNV000064650ITSOL20200727RICAhttps://books.google.it/books?id=zDrqGvJhSPIC&printsec=frontcover&dq=Mathematical+Logic,+a+course+with+exercises+cori&hl=it&sa=X&ved=0ahUKEwiRjKvWpI3TAhUJORoKHaIbCHAQ6AEIIzAB#v=onepage&q=Mathematical%20Logic%2C%20a%20course%20with%20exercisPreviewSUN0021140UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08VS 4323 II d 20061101 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 273 II b 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0916 08 5783 II a 20061101 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 274 II c 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08VS 4324 II e 20061101 Recursion theory, Godels theorems, set theory, model theory1520530UNICAMPANIA