Mendeley出力
＜図書＞
Closure spaces and logic
| 責任表示 | by Norman M. Martin and Stephen Pollard |
|---|---|
| シリーズ | Mathematics and its applications ; v. 369 |
| データ種別 | 図書 |
| 出版情報 | Dordrecht : Kluwer , c1996 |
| 本文言語 | 英語 |
| 大きさ | xvi, 230 p. ; 25 cm |
| 概要 | Presupposes very little technical knowledge, but would be most easily digested by someone with a background in symbolic logic or upper division or graduate mathematics. Addressed primarily to logician..., but also of potential interest to computer scientists and other mathematicians. Examines closure spaces, an abstract mathematical theory, emphasizing results applicable to formal logic. The theory is developed conceptually and mathematically as part of topology, demonstrating how topological methods can be used in logical theory. Double spaced. Annotation copyright by Book News, Inc., Portland, OR続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6876740 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: hb | 理系図1F 開架 | 414/Ma 53 | 1996 |
|
026211996002556 |
|
|||
|
|
: hb | 理系図3F 数理独自 | MART/115/1 | 1996 |
|
023211996010624 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. [225]-226) and index |
|---|---|
| 著者標目 | *Martin, Norman M. Pollard, Stephen |
| 件 名 | LCSH:Closure spaces LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA611.3 DC20:514/.32 |
| 書誌ID | 1001157466 |
| ISBN | 0792341104 |
| NCID | BA2820809X |
| 巻冊次 | : hb ; ISBN:0792341104 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |