著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Rauszer, Cecylia",An algebraic and Kripke-style approach to a certain extension of intuitionistic logic,,Państwowe Wydawn. Naukowe : [available from Ars Polona],1980,Dissertationes mathematicae,,8301011033,,https://cir.nii.ac.jp/crid/1130282271006812672