Enlarge

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

Publication Data

Title Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Contributors S. B. Cooper, J. K. Truss, Association for Symbolic Logic
Publisher Cambridge University Press
Publication date 1999
Publication location Cambridge
Language English

Topics

Logic, Symbolic and mathematical :: Congresses
Computable functions :: Congresses

Catalogue Data

OBNB ID GB9951168
ISBN 10 0521635500
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 ix, 419p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. ISBN 0521635500. Published by Cambridge University Press in 1999. Publication and catalogue information, links to buy online and reader comments.