02459nam2 2200373 i 450 SUN002113820180725023257.364978-01-985004-8-30.0020061101d2000 |0engc50 baengUS|||| |||||1: *Propositional calculus, boolean algebras, predicate calculus, completeness theoremsRené Cori and Daniel Lascartranslated by Donald H. PelletierOxfordOxford University2000XIX, 338 p.ill.24 cm.001SUN00211352001 *Mathematical logica course with exercisesRené Cori and Daniel Lascartranslated by Donald H. Pelletier1210 OxfordOxford University2000-2001215 volumi24 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003B05Classical propositional logic [MSC 2020]MFSUNC02140203G05Logical aspects of Boolean algebras [MSC 2020]MFSUNC02449303B10Classical first-order logic [MSC 2020]MFSUNC024530GBOxfordSUNL000020Cori, RenéSUNV056270730905Lascar, DanielSUNV04356059898Pelletier, Donald H.SUNV084057730Oxford universitySUNV000064650ITSOL20201012RICAhttps://books.google.it/books?id=Cle6_dOLt2IC&pg=PP1&dq=Mathematical+Logic,+a+course+with+exercises+cori&hl=it&sa=X&ved=0ahUKEwiRjKvWpI3TAhUJORoKHaIbCHAQ6AEIKzAC#v=onepage&q=Mathematical%20Logic%2C%20a%20course%20with%20exercises%20cori&f=fPreviewSUN0021138UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 273 I b 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 274 I c 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08 5900 I d 20061101 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0916 08 5503 I a 20061101 Propositional calculus, boolean algebras, predicate calculus, completeness theorems1520529UNICAMPANIA