Models and computability:invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; ; |
Published: |
Cambridge University Press,
|
Publisher Address: | Cambridge, U.K. |
Publication Dates: | 1999. |
Literature type: | Book |
Language: | English |
Series: |
London Mathematical Society lecture note series ; 259 |
Subjects: | |
Carrier Form: | ix, 419 p.: ill. ; 23 cm. |
ISBN: | 0521635500 (pbk.) |
Index Number: | O141 |
CLC: | O141-532 |
Call Number: | O141-532/L832/1997 |
Contents: | Includes bibliographical references. |