LEADER 02069nam0 2200433 i 450 
001 VAN00019452
005 20250305103915.75
010   $a05-216-3550-0
010   $a978-05-216-3550-9
100   $a20061102d1999       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
181   $ai$b   e  
182   $an
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$1001VAN00029528$12001 $aLondon Mathematical Society lecture notes series$1210  $aCambridge$cCambridge university$d1980-$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
790  1$aCooper, Stuart Barry$zCooper, S. Barry$3VANV242928
790  1$aCooper, S. B.$zCooper, S. Barry$3VANV242929
790  1$aCooper, S.B.$zCooper, S. Barry$3VANV242930
790  1$aTruss, John Kenneth$zTruss, John K.$3VANV242931
790  1$aTruss, J. K.$zTruss, John K.$3VANV242932
790  1$aTruss, J.K.$zTruss, John K.$3VANV242933
801   $aIT$bSOL$c20250307$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   $aVAN00019452
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0910        $e08   5455      II      20061102            
996   $aModels and computability$91427761
997   $aUNICAMPANIA