\input zb-basic
\input zb-ioport
\iteman{io-port 03561304}
\itemau{Rauszer, Cecylia}
\itemti{Model theory for an extension of intuitionistic logic.}
\itemso{Stud. Log. 36, 73-87 (1977).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/BF02121116}
\end