| NCID | BA42204088 |
| タイトル | Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss |
| 出版者 | Cambridge ; New York : Cambridge University Press , 1999 |
| 形態 | ix, 436 p. : ill. ; 23 cm |
| 注記 | Includes bibliographical references |
| シリーズ名 | London Mathematical Society lecture note series ; 258
|
| 分類 | LCC:QA248
DC21:511.3/22 |
| 件名 | LCSH:Settheory -- Congresses
LCSH:Prooftheory -- Congresses
|
| 著者情報 | Logic Colloquium
Cooper, S. B. (S. Barry)
Truss, J. K
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0521635497
|
| 番号 | LCCN : 99019676 |