Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki. (Synthese library ; v. 199)

Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki.

(Synthese library ; v. 199)

資料に関する注記

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 図書
ISBN: 9027727856
タイトル: Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki.
シリーズタイトル: Synthese library ; v. 199
著者標目: Wójcicki, Ryszard.
出版事項: Dordrecht : Kluwer Academic Publishers
Boston : Kluwer Academic Publishers
出版年月日等: c1988.
出版年（W3CDTF）: 1988
数量: xviii, 473 p. ; 23 cm.
並列タイトル等: Logical calculi.
出版地（国名コード）: NL
本文の言語コード: eng
件名標目: 記号論理学. Kigoronrigaku.
Logic, Symbolic and mathematical.
LCC: QA9
DDC: 511/.3
NDLC: MA41
一般注記: Includes indexes.
書誌注記: Bibliography: p. 437-458.
所蔵機関: 国立国会図書館
請求記号: MA41-A46
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003171165
http://id.ndl.go.jp/bib/000003171165
LC control number: 88019222
https://lccn.loc.gov/88019222
整理区分コード: 211