LEADER 01048nam1 2200277 i 450 
001 SUN0021135
005 20180725023121.307
010   $d0.00
100   $a20061101g20002001   |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Mathematical logic$ea course with exercises$fRené Cori and Daniel Lascar$gtranslated by Donald H. Pelletier
210   $aOxford$cOxford University$d2000-2001
215   $avolumi$d24 cm.
463 \1$1001SUN0021138$12001 $a1: *Propositional calculus, boolean algebras, predicate calculus, completeness theorems
463 \1$1001SUN0021140$12001 $a2: *Recursion theory, Godels theorems, set theory, model theory
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$c20181109$gRICA
912   $aSUN0021135
996   $aMathematical logic$91406443
997   $aUNICAMPANIA