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 |