An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
著者
書誌事項
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
(Dissertationes mathematicae, 167)
Państwowe Wydawn. Naukowe : [available from Ars Polona], 1980
- pbk.
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
At head of title: Polska Akademia Nauk, Instytut Matematyczny
Bibliography: p. 59
Includes index