TY  - BOOK
AU  - Cooper S Barry ed.
ED  - Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic (6-13 Jul 1997 : Leeds,England)
ED  - Logic colloquium '97 - European meeting of the Association for symbolic logic
TI  - Sets and proofs: invited papers
SN  - 0-521-63549-7
U1  - 511.32 
PY  - 1999///
CY  - Cambridge
PB  - CUP
KW  - Set theory
ER  -