Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
(Synthese library ; v. 199)
データ種別 | 図書 |
---|---|
出版者 | Dordrecht ; Boston : Kluwer Academic Publishers |
出版年 | c1988 |
大きさ | xviii, 473 p. : ill. ; 23 cm |
書誌詳細を非表示
書誌ID | BB00078362 |
---|---|
本文言語 | 英語 |
別書名 | 異なりアクセスタイトル:Logical calculi |
一般注記 | Bibliography: p. 437-458 Includes indexes |
著者標目 | *Wójcicki, Ryszard |
件 名 | LCSH:Logic, Symbolic and mathematical |
分 類 | LCC:QA9 DC19:511/.3 |
巻冊次 | ISBN:9027727856 RefWorks出力(各巻) |
NCID | BA04941310 |
目次・あらすじ
類似資料
この資料の利用統計
全貸出数:3回
(1年以内の貸出:0回)
※2000年4月1日以降