Grzegorz Bryll
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The Proof of Ł-Decidability of Lewis' System S5 Opublikowano w: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 1 / s. 32 - 34ROK: 1972CZYSTY TEKSTBIBTEX
-
Stoic ``Undemonstrables'' and indirect-deduction theorems Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 53 - 60ROK: 1994CZYSTY TEKSTBIBTEX
-
On a relationship between some classes of elimination operators and some classes Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 161 - 170ROK: 2000CZYSTY TEKSTBIBTEX
-
Slupecki's fragmentary systems Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 252 - 254ROK: 1984CZYSTY TEKSTBIBTEX
