LEADER 01381nam1 2200277 i 450 
001 VAN0021135
005 20240212023538.145
100   $a20061101g20002001   |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aMathematical logic$ea course with exercises$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier
210   $aOxford$cOxford University$d2000-2001
215   $a2 volumi$d24 cm
463  1$1001VAN0021138$12001 $aˆ1: ‰Propositional calculus, boolean algebras, predicate calculus, completeness theorems$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier$1210  $aOxford$cOxford University$d2000$1215  $aXIX, 338 p.$cill.$d24 cm$v1
463  1$1001VAN0021140$12001 $aˆ2: ‰Recursion theory, Godels theorems, set theory, model theory$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier$1210  $aOxford$cOxford University$d2001$1215  $aXX, 331 p.$cill.$d24 cm$v2
500  1$3VAN0271692$aLogique mathématique$93883642
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  <editore>$3VANV107944$4650
801   $aIT$bSOL$c20240216$gRICA
912   $aVAN0021135
996   $aLogique mathématique$93883642
997   $aUNICAMPANIA