Mendeley出力
＜図書＞
Logical frameworks for truth and abstraction : an axiomatic study
| 責任表示 | Andrea Cantini |
|---|---|
| シリーズ | Studies in logic and the foundations of mathematics ; v. 135 |
| データ種別 | 図書 |
| 出版情報 | Amsterdam ; Tokyo : Elsevier Science B.V. , 1996 |
| 本文言語 | 英語 |
| 大きさ | xii, 461 p. ; 23 cm |
| 概要 | Cantini (philosophy, U. of Florence, Italy) explores logical systems that are usually termed type-free or self-referential. Though such systems emerge from the traditional discussion on logical and se...antical paradoxes, he eschews both paradoxes and any grand logic inspired by a foundational program. Instead he argues that there are rich theories of self-application that can serve as foundations for property theory and formal semantics, that those theories can provide new perspectives on classical topics such as inductive definitions and predicative mathematics, and that they show promise of practical application. Revised, expanded, and updated as well as translated from the original 1988 edition in Italian. Annotation copyright by Book News, Inc., Portland, OR続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6976502 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.96/C 15 | 1996 |
|
026211996002226 |
|
|||
|
|
|
理系図3F 数理独自 | CANT/15/1 | c1996 |
|
023211998002062 |
|
書誌詳細
| 一般注記 | Bibliography: p. [425]-440 Includes index |
|---|---|
| 著者標目 | *Cantini, Andrea |
| 件 名 | LCSH:Logic, Symbolic and mathematical LCSH:Truth |
| 分 類 | NDC9:410.8 LCC:QA9 DC20:511.3 NDC7:410 |
| 書誌ID | 1001045538 |
| ISBN | 0444823069 |
| NCID | BA27404081 |
| 巻冊次 | ISBN:0444823069 |
| 登録日 | 2009.09.17 |
| 更新日 | 2017.02.18 |