LEADER 02459nam2 2200373 i 450 001 SUN0021138 005 20180725023257.364 010 $a978-01-985004-8-3$d0.00 100 $a20061101d2000 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a1: *Propositional calculus, boolean algebras, predicate calculus, completeness theorems$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier 210 $aOxford$cOxford University$d2000 215 $aXIX, 338 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$v1$1210 $aOxford$cOxford University$d2000-2001$1215 $avolumi$d24 cm. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a03B05$xClassical propositional logic [MSC 2020]$2MF$3SUNC021402 606 $a03G05$xLogical aspects of Boolean algebras [MSC 2020]$2MF$3SUNC024493 606 $a03B10$xClassical first-order logic [MSC 2020]$2MF$3SUNC024530 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$c20201012$gRICA 856 4 $uhttps://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=f$zPreview 912 $aSUN0021138 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 273 I b 20070709 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 274 I c 20070709 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08 5900 I d 20061101 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 0916 $e08 5503 I a 20061101 996 $aPropositional calculus, boolean algebras, predicate calculus, completeness theorems$91520529 997 $aUNICAMPANIA