Mendeley出力
＜図書＞
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 |
|---|---|
| シリーズ | London Mathematical Society lecture note series ; 258 |
| データ種別 | 図書 |
| 出版情報 | Cambridge ; New York : Cambridge University Press , 1999 |
| 本文言語 | 英語 |
| 大きさ | ix, 436 p. : ill. ; 23 cm |
| 概要 | Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in thei... fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6913578 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | P 99/SETS/1 | c1999 |
|
023211999007052 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) Truss, J. K |
| 件 名 | LCSH:Set theory -- Congresses
全ての件名で検索
LCSH:Proof theory -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA248 DC21:511.3/22 |
| 書誌ID | 1001404829 |
| ISBN | 0521635497 |
| NCID | BA42204088 |
| 巻冊次 | ISBN:0521635497 |
| 登録日 | 2009.11.02 |
| 更新日 | 2017.02.18 |