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.; London Mathematical Society.; Logic Colloquium '97 (Leeds, England)
Series: London Mathematical Society lecture note series -- 259
Publisher: Cambridge University Press
Published: 1999
Place of publication: Cambridge
Language: eng
Number of pages: 419
Subjects: Logic, Symbolic and mathematical -- Congresses.; Computable functions -- Congresses.
Genres: Congresses.