Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997
Cooper S Barry Ed
Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 - Cambridge Cambridge University Press 1999 - ix,436 - London Mathematical Society lecture note series; 258 .
Includes bibliographical references
0521635497 (pbk)
6244
Selectbook, Textual
Logic
Mathematics
B:(R1), N9
Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 - Cambridge Cambridge University Press 1999 - ix,436 - London Mathematical Society lecture note series; 258 .
Includes bibliographical references
0521635497 (pbk)
6244
Selectbook, Textual
Logic
Mathematics
B:(R1), N9
