Mendeley出力
＜図書＞
Labelled deductive systems
| 責任表示 | Dov M. Gabbay |
|---|---|
| シリーズ | Oxford logic guides ; 33 |
| データ種別 | 図書 |
| 出版情報 | New York : Oxford University Press Oxford : Clarendon , 1996- |
| 本文言語 | 英語 |
| 大きさ | v. ; 24 cm |
| 概要 | This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formul...s with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
v. 1 | 理系図3F 数理独自 | GABB/10/3-1 | c1996 |
|
023211999000273 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Gabbay, Dov M., 1945- |
| 件 名 | LCSH:Logic |
| 分 類 | LCC:BC71 DC20:160 |
| 書誌ID | 1001392720 |
| ISBN | 0198538332 |
| NCID | BA28531925 |
| 巻冊次 | v. 1 ; ISBN:0198538332 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |