An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
By: Cecylia Rauszer.
Series: Dissertationes mathematicae ;; 167; Rozprawy matematyczne ;; 167.
Publisher: Państwowe Wydawn. Naukowe; [available from Ars Polona]
Published: 1980
Place of publication: Warszawa
Language: eng
Number of pages: 67
Subjects: Intuitionistic mathematics.
Notes: Bibliography: p. 59.
At head of title: Polska Akademia Nauk, Instytut Matematyczny.
Includes index.