SETS and proofs : 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.: UNINA990001348810403321
• Autore: Logic colloquium : <1997
• Pubbl/distr/stampa: Cambridge : Cambridge University Press, c1999
• ISBN: 0-521-63549-7
• Descrizione fisica: ix, 436 p. ; 23 cm
• Collana: London Mathematical Society lecture note series ; 258
• Disciplina: 511.322
• Locazione: MA1
• Collocazione: C-9-(258
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia