Sets and proofs :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
New York :
Cambridge University Press ,
1999 .
|
| Subjects: |