---

＜図書＞
Eine Termlogik mit Auswahloperator
(Lecture notes in mathematics ; 6)

出版者	Berlin : Springer
出版年	1965
大きさ	42 p. 30 cm.
著者標目	Hermes, Hans
件　名	Logic, Symbolic and mathematical
一般注記	Bibliography: p. 40.

 類似資料