TY  - BOOK
A2  - London Mathematical Society
ED  - Cooper, Stuart B.
PY  - 1999
DA  - 1999//
TI  - Sets and proofs: invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
T3  - Lecture note series / London Mathematical Society 258
PB  - Cambridge Univ. Press
CY  - Cambridge [u.a.]
KW  - Set theory
KW  - Congresses
KW  - Proof theory
SN  - 0521635497
LA  - English
N1  - ed. by S. Barry Cooper; John K. Truss
ID  - 266374433
ER  -