Branislav R. Boricic
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Interpolation theorem for intuitionistic S4 Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 1 / s. 2 - 6ROK: 1991CZYSTY TEKSTBIBTEX
-
Some modofications of the Godel translation of classical logic into intuitionistic logic Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 84 - 86ROK: 1990CZYSTY TEKSTBIBTEX
