Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/
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.
- Cambridge, UK; New York: Cambridge University Press, 1999.
- ix, 419 p.; 23 cm.
- London Mathematical Society lecture note series; 259 .
Includes bibliographical references.
0521635500 (pbk.)
99019677
GB99-51168
Logic, Symbolic and mathematical--Congresses.
Computable functions--Congresses.
Logic, Symbolic and mathematical--Congresses.
Logique symbolique et mathématique--Congrès.
Systèmes informatiques--Congrès.
511.3 / M689
Includes bibliographical references.
0521635500 (pbk.)
99019677
GB99-51168
Logic, Symbolic and mathematical--Congresses.
Computable functions--Congresses.
Logic, Symbolic and mathematical--Congresses.
Logique symbolique et mathématique--Congrès.
Systèmes informatiques--Congrès.
511.3 / M689