02414nam2 2200373 i 450 VAN002113820230321125216.497978-01-985004-8-320061101d2000 |0itac50 baengUS|||| |||||ˆ1: ‰Propositional calculus, boolean algebras, predicate calculus, completeness theoremsRené Cori and Daniel Lascartranslated by Donald H. PelletierOxfordOxford University2000XIX, 338 p.ill.24 cm001VAN00211352001 Mathematical logica course with exercisesRené Cori and Daniel Lascartranslated by Donald H. Pelletier210 OxfordOxford University2000-2001215 volumi24 cm103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B05Classical propositional logic [MSC 2020]VANC021402MF03G05Logical aspects of Boolean algebras [MSC 2020]VANC024493MF03B10Classical first-order logic [MSC 2020]VANC024530MFGBOxfordVANL000020CoriRenéVANV056270730905LascarDanielVANV04356059898PelletierDonald H.VANV084057730Oxford university <editore>VANV107944650ITSOL20230616RICAhttps://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=fPreviewVAN0021138BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0916 08 5503 I a 20061101 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 273 I b 20070709 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08NS 274 I c 20070709 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0916 08 5900 I d 20061101 Propositional calculus, boolean algebras, predicate calculus, completeness theorems1520529UNICAMPANIA