DOORS（同志社大学図書館）

Term logic with choice operator / Hans Hermes
(Lecture notes in mathematics ; 6)

データ種別	図書
出版者	Berlin ; New York : Springer-Verlag
出版年	1970
大きさ	55 p ; 26 cm

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

書誌ID	BB00090686
本文言語	英語
別書名	原タイトル:Termlogik mit Auswahloperator
一般注記	Rev. and enl. translation of: Eine Termlogik mit Auswahloperator Bibliography: p. 53
著者標目	*Hermes, Hans
件　名	LCSH:Logic, Symbolic and mathematical
分　類	LCC:QA3 DC:164
NCID	BA06662001