武蔵大学図書館

Logic in algebraic form : three languages and theories

William Craig ; : us, : ne. -- North-Holland Pub. Co., 1974. -- (Studies in logic and the foundations of mathematics ; v. 72). <BB02075517>

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 洋プラ下層 410.12//F21 0121102628 0件
No. 0001
巻号
所蔵館 図書館
配置場所 洋プラ下層
請求記号 410.12//F21
資料ID 0121102628
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Logic in algebraic form : three languages and theories / William Craig
出版・頒布事項 Amsterdam : North-Holland Pub. Co.
出版・頒布事項 New York : American Elsevier Pub. Co. , 1974
形態事項 viii, 204 p ; 23 cm
巻号情報
巻次等 : us
ISBN 0444104771
巻号情報
巻次等 : ne
ISBN 0720422728
書誌構造リンク Studies in logic and the foundations of mathematics <BB07000144> v. 72//a
注記 Bibliography: p. 182-183
注記 Includes indexes
学情ID BA01340788
本文言語コード 英語
著者標目リンク *Craig, William <>
分類標目 LCC:QA10
分類標目 DC:511/.3
件名標目等 Algebraic logic
件名標目等 Proof theory