LEADER 01207nam0 2200277 i 450 
001 SUN0051461
005 20160411020819.777
010   $a01-985298-0-5$d0.00
100   $a20061106d2004       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aA *first course in logic$ean introduction to model theory, proof theory, computability, and complexity$fShawn Hedman
210   $aOxford$cOxford university$d2004
215   $aXX, 431 p.$cill.$d24 cm.
410  1$1001SUN0105214$12001 $a*Oxford texts in logic$v1$1210  $aOxford$cOxford university.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
620   $aGB$dOxford$3SUNL000020
700  1$aHedman$b, Shawn$3SUNV043790$0623450
712   $aOxford university$3SUNV000064$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Hedman - A First Course in Logic.pdf$zContents
912   $aSUN0051461
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1845        $e08   6685      I       20061106            
996   $aFirst course in logic$91091063
997   $aUNICAMPANIA