LEADER 01581nam0 2200325 i 450 
001 SUN0019452
005 20170403102830.990
010   $a05-216-3550-0$d0.00
010   $a8-0-521-63550-9
100   $a20061102d1999       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Models and computability$einvited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 $fedited by S. Barry Cooper, John K. Truss
210   $aCambridge$cCambridge University$d1999
215   $aVI, 419 p.$d24 cm.
410  1$1001SUN0029528$12001 $a*London Mathematical Society lecture notes series$v259$1210  $aCambridge$cCambridge university.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Cxx$xModel theory [MSC 2020]$2MF$3SUNC024387
620   $dCambridge$3SUNL000024
702  1$aCooper$b, S. Barry$3SUNV043602
702  1$aTruss$b, John K.$3SUNV043604
710 12$aEuropean Meeting of the Association for Symbolic Logic on Sets and Proofs$f1997$eLeeds$3SUNV043603$0729221
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20200727$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Cooper, Truss - Models and computability.pdf$zContents
912   $aSUN0019452
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0910        $e08   5455      II      20061102            
996   $aModels and computability$91427761
997   $aUNICAMPANIA