Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
| Автор-организация: | Logic Colloquium Leeds, England), Association for Symbolic Logic. |
|---|---|
| Други автори: | Cooper, S. B., Truss, J. K. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Cambridge ; New York :
Cambridge University Press,
1999.
|
| Серия: |
London Mathematical Society lecture note series ;
259. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552643 |
| Подобни документи: |
Print version::
Models and computability. |
| Физически характеристики: |
1 online resource (ix, 419 pages). |
|---|---|
| Библиография: |
Includes bibliographical references. |
| ISBN: |
9781107362703 1107362709 |