-
The Proof of Ł-Decidability of Lewis' System S5 Opublikowano w: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 1 / s. 32 - 341972CZYSTY TEKST
Jerzy Słupecki, Grzegorz Bryll, The Proof of Ł-Decidability of Lewis' System S5, Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 32 - 34
BIBTEX@Article{ authors = " Jerzy Słupecki, Grzegorz Bryll", title = "The Proof of Ł-Decidability of Lewis' System S5", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "32 - 34" }
-
Slupecki's fragmentary systems Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 252 - 2541984CZYSTY TEKST
Grzegorz Bryll, Katarzyna Hałkowska, Slupecki's fragmentary systems, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 252 - 254
BIBTEX@Article{ authors = " Grzegorz Bryll, Katarzyna Hałkowska", title = "Slupecki's fragmentary systems", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "252 - 254" }
-
Stoic ``Undemonstrables'' and indirect-deduction theorems Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 53 - 601994CZYSTY TEKST
Grzegorz Bryll, Zofia Kostrzycka, Stoic ``Undemonstrables'' and indirect-deduction theorems, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 53 - 60
BIBTEX@Article{ authors = " Grzegorz Bryll, Zofia Kostrzycka", title = "Stoic ``Undemonstrables'' and indirect-deduction theorems", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "53 - 60" }
-
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 - 1702000CZYSTY TEKST
Grzegorz Bryll, Robert Sochacki, On a relationship between some classes of elimination operators and some classes, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 161 - 170
BIBTEX@Article{ authors = " Grzegorz Bryll, Robert Sochacki", title = "On a relationship between some classes of elimination operators and some classes", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "161 - 170" }
