An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
Author(s)
Bibliographic Information
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.
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Note
At head of title: Polska Akademia Nauk, Instytut Matematyczny
Bibliography: p. 59
Includes index