東京都立大学図書館

Dual tableaux : foundations, methodology, case studies

Ewa Orłowska, Joanna Golińska-Pilarek. -- Springer, 2011. -- (Trends in logic : studia logica library ; v. 36). <BB02098648>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 日野館 日野:一般書架(洋書) 20001748830 /410.1/O 0件
No. 0001
巻号
所蔵館 日野館
配置場所 日野:一般書架(洋書)
資料ID 20001748830
請求記号 /410.1/O
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Dual tableaux : foundations, methodology, case studies / Ewa Orłowska, Joanna Golińska-Pilarek
出版・頒布事項 Dordrecht : Springer , c2011
形態事項 xvi, 523 p. ; 24 cm
巻号情報
ISBN 9789400700048
書誌構造リンク Trends in logic : studia logica library <BB00770986> v. 36//a
注記 Includes bibliographical references and index
学情ID BB04452140
本文言語コード 英語
著者標目リンク Orlowska, Ewa <AU00688848>
著者標目リンク Golińska-Pilarek, Joanna <>
分類標目 SG:510