Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Bibliographic Information

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

edited by S. Barry Cooper, John K. Truss

(London Mathematical Society lecture note series, 258)

Cambridge University Press, 1999

Available at  / 65 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top