Sets and proofs : 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 ;
258. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569275 |
| Подобни документи: |
Print version::
Sets and proofs |
| Физически характеристики: |
1 online resource (ix, 436 pages) : illustrations. |
|---|---|
| Библиография: |
Includes bibliographical references. |
| ISBN: |
9781107089129 1107089123 9781107325944 1107325943 |