Models and computabilty
Subtitle: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
By: edited by S. Barry Cooper, John K. Truss
Contributors: Cooper, S. B.; Truss, J. K; Association for Symbolic Logic
Series: London Mathematical Society lecture note series -- 259
Publisher: Cambridge University Press
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 419
Subjects: Logic, Symbolic and mathematical -- Congresses; Computable functions -- Congresses