01048nam1 2200277 i 450 SUN002113520180725023121.3070.0020061101g20002001 |0engc50 baengUS|||| |||||*Mathematical logica course with exercisesRené Cori and Daniel Lascartranslated by Donald H. PelletierOxfordOxford University2000-2001volumi24 cm.001SUN00211382001 1: *Propositional calculus, boolean algebras, predicate calculus, completeness theorems001SUN00211402001 2: *Recursion theory, Godels theorems, set theory, model theoryGBOxfordSUNL000020Cori, RenéSUNV056270730905Lascar, DanielSUNV04356059898Pelletier, Donald H.SUNV084057730Oxford universitySUNV000064650ITSOL20181109RICASUN0021135Mathematical logic1406443UNICAMPANIA