MODELS and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss

• Record Nr.: UNINA990001360800403321
• Pubbl/distr/stampa: Cambridge : Cambridge University Press, c1999
• ISBN: 0-521-63549-7
• Descrizione fisica: ix, 419 p. ; 23 cm
• Collana: London Mathematical Society lecture note series ; 259
• Disciplina: 511.3
• Locazione: MA1
• Collocazione: C-9-(259
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia