DOORS（同志社大学図書館）

Proof theory of modal logic / edited by Heinrich Wansing
(Applied logic series ; v. 2)

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
文学部哲学		116.1\|\|W297	982201461						仮想書架		仮想書架

書誌ID	BB00323264
本文言語	英語
一般注記	Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993 Includes index
著者標目	Wansing, Heinrich
件　名	LCSH:Modal logic -- Congresses 全ての件名で検索 LCSH:Proof theory -- Congresses 全ての件名で検索
分　類	LCC:QA9.46 DC20:511.3
巻冊次	ISBN:0792341201 RefWorks出力（各巻）
NCID	BA2871845X

目次・あらすじ