TYTUŁ
Bulletin of the Section of Logic
2002 / Tom 31 / Numer 4
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Extended Frege and Gaussian Eliminations. 189 - 205CZYSTY TEKSTBIBTEX
-
Unification in Common Knowledge Logicss. 207 - 215CZYSTY TEKSTBIBTEX
-
Hermes Algebrass. 217 - 229CZYSTY TEKSTBIBTEX
-
A Natural Deduction System for CTLs. 231 - 240CZYSTY TEKSTBIBTEX
-
On the embedding of Nelson's logicss. 241 - 248CZYSTY TEKSTBIBTEX