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

Bibliographic Information

Models and computability : 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, 259)

Cambridge University Press, 1999

Available at  / 69 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top