LEADER 02414nam2 2200373 i 450 001 VAN0021138 005 20230321125216.497 010 $a978-01-985004-8-3 100 $a20061101d2000 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆ1: ‰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$1001VAN0021135$12001 $aMathematical logic$ea course with exercises$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier$1210 $aOxford$cOxford University$d2000-2001$1215 $avolumi$d24 cm$v1 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B05$xClassical propositional logic [MSC 2020]$3VANC021402$2MF 606 $a03G05$xLogical aspects of Boolean algebras [MSC 2020]$3VANC024493$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 620 $aGB$dOxford$3VANL000020 700 1$aCori$bRené$3VANV056270$0730905 701 1$aLascar$bDaniel$3VANV043560$059898 702 1$aPelletier$bDonald H.$3VANV084057$4730 712 $aOxford university $3VANV107944$4650 801 $aIT$bSOL$c20230616$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 $aVAN0021138 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 0916 $e08 5503 I a 20061101 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 273 I b 20070709 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08NS 274 I c 20070709 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0916 $e08 5900 I d 20061101 996 $aPropositional calculus, boolean algebras, predicate calculus, completeness theorems$91520529 997 $aUNICAMPANIA