01654nam0 2200337 i 450 VAN001945220231120030542.22605-216-3550-0978-05-216-3550-920061102d1999 |0itac50 baengGB|||| |||||Models and computabilityinvited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. TrussCambridgeCambridge University1999VI, 419 p.24 cm001VAN00295282001 London Mathematical Society lecture notes series210 CambridgeCambridge university.25903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03CxxModel theory [MSC 2020]VANC024387MFCambridgeVANL000024CooperS. BarryVANV043602TrussJohn K.VANV043604European Meeting of the Association for Symbolic Logic on Sets and Proofs1997LeedsVANV043603729221Cambridge university <editore>VANV107986650ITSOL20231124RICA/sebina/repository/catalogazione/documenti/Cooper, Truss - Models and computability.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0019452BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0910 08 5455 II 20061102 Models and computability1427761UNICAMPANIA