---

＜図書＞
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer.
(Dissertationes mathematicae)

出版者	Warszawa : Panstwowe Wydawn. Naukowe
出版者	Warszawa : {available from Ars Polona}
出版年	1980
出版年	1980
大きさ	67 p. ; 24 cm.
著者標目	Rauszer, Cecylia
件　名	Intuitionistic mathematics
一般注記	At head of title: Polska Akademia Nauk, Instytut Matematyczny. ＼ Includes index.

 類似資料