Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. 258. Sets and proofs
Logic Colloquium (1997 Leeds)
Bok Engelsk 1999
| Utgitt | Cambridge : Cambridge University Press , c1999
|
|---|---|
| Omfang | IX, 436 s.
|
| Emner | |
| ISBN | 0521635497
|
