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
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