TYTUŁ
Bulletin of the Section of Logic
1999 / Tom 28 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Boolean Programs and Quantified Propositional Proof Systemss. 119 - 129CZYSTY TEKSTBIBTEX
-
Positive Implicative BCK-algebras with Condition (S)s. 131 - 133CZYSTY TEKSTBIBTEX
-
An explicit basis for rules admissible in modal system S4s. 135 - 144CZYSTY TEKSTBIBTEX
-
An essay on unification and inference rules for modal logicss. 145 - 158CZYSTY TEKSTBIBTEX
-
Birkhoff's theorems via tree operadss. 159 - 178CZYSTY TEKSTBIBTEX
-
A reductive approach to L-decidabilitys. 171 - 177CZYSTY TEKSTBIBTEX
