LEADER 02745nam2 2200397 i 450 001 SUN0021140 005 20180725023339.27 010 $a978-01-985005-0-6$d0.00 100 $a20061101d2001 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a2: *Recursion theory, Godels theorems, set theory, model theory$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier 210 $aOxford$cOxford University$d2001 215 $aXX, 331 p.$cill.$d24 cm. 461 1$1001SUN0021135$12001 $a*Mathematical logic$ea course with exercises$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier$v2$1210 $aOxford$cOxford University$d2000-2001$1215 $avolumi$d24 cm. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a03E30$xAxiomatics of classical set theory and its fragments [MSC 2020]$2MF$3SUNC024397 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$2MF$3SUNC024469 606 $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$2MF$3SUNC024470 620 $aGB$dOxford$3SUNL000020 700 1$aCori$b, René$3SUNV056270$0730905 701 1$aLascar$b, Daniel$3SUNV043560$059898 702 1$aPelletier$b, Donald H.$3SUNV084057$4730 712 $aOxford university$3SUNV000064$4650 801 $aIT$bSOL$c20200727$gRICA 856 4 $uhttps://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%20exercis$zPreview 912 $aSUN0021140 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08VS 4323 II d 20061101 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 273 II b 20070709 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 0916 $e08 5783 II a 20061101 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 274 II c 20070709 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08VS 4324 II e 20061101 996 $aRecursion theory, Godels theorems, set theory, model theory$91520530 997 $aUNICAMPANIA