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 LEADER 00986nam0 22002531i 450 001 UON00214860 005 20231205103349.527 100 $a20030730d1980 |0itac50 ba 101 $acat 102 $aES 105 $a|||| ||||| 200 1 $aAntologia de la literatura catalana$fAntoni Comas 210 $aBarcelona$cFundació Mediterrània$d1980. 586 p.$cill. ; 23 cm 606 $aLETTERATURA CATALANA$3UONC041344$2FI 620 $aES$dBarcelona$3UONL003004 676 $a849.9$cLetteratura catalana$v21 700 1$aCOMAS$bAntoni$3UONV129851$0163208 712 $aFundació Mediterránia$3UONV268177$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00214860 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Cat ANT COM $eSI LO 40837 5 996 $aAntologia de la literatura catalana$91262711 997 $aUNIOR