Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997
Cooper S Barry Ed; Truss John K Ed
- Cambridge Cambridge University Press 1999
- ix,436
- London Mathematical Society lecture note series; 258 .