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 ISBN: 0521635497 (pbk) Standard No.: 6244 Source: Selectbook, Textual Subjects--Topical Terms: LogicMathematics Dewey Class. No.: B:(R1), N9