01277nam0-22003851i-450-9900013608004033210-521-63549-7000136080FED01000136080(Aleph)000136080FED0100013608020000920d1999----km-y0itay50------baengMODELS and computabiltyinvited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997edited by S. Barry Cooper, John K. TrussCambridgeCambridge University Pressc1999ix, 419 p.23 cmLondon Mathematical Society lecture note series259Logica matematicaCongressiTeoria dei modelliCongressiComputabilitaLogica matematica - congressi511.3Association for symbolic logicCooper,S. BarryTruss,John K.Logic colloquium<1997 ;Leeds, England>ITUNINARICAUNIMARCBK990001360800403321C-9-(25917071MA1MA103-0603CXXMODELS and computabilty375248UNINAING01