LEADER 01654nam0 2200337 i 450 
001 VAN0019452
005 20231120030542.226
010   $a05-216-3550-0
010   $a978-05-216-3550-9
100   $a20061102d1999       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aModels 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$1001VAN0029528$12001 $aLondon Mathematical Society lecture notes series$1210  $aCambridge$cCambridge university.$v259
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF
620   $dCambridge$3VANL000024
702  1$aCooper$bS. Barry$3VANV043602
702  1$aTruss$bJohn K.$3VANV043604
710 12$aEuropean Meeting of the Association for Symbolic Logic on Sets and Proofs$f1997$eLeeds$3VANV043603$0729221
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20231124$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Cooper, Truss - Models and computability.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0019452
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0910        $e08   5455      II      20061102            
996   $aModels and computability$91427761
997   $aUNICAMPANIA