-
Extended Frege and Gaussian Eliminations. 189 - 205CZYSTY TEKST
Extended Frege and Gaussian Elimination, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 189 - 205
BIBTEX@Article{ authors = "", title = "Extended Frege and Gaussian Elimination", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "189 - 205" }
-
Unification in Common Knowledge Logicss. 207 - 215CZYSTY TEKST
Vladimir V. Rybakov, Unification in Common Knowledge Logics, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 207 - 215
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "Unification in Common Knowledge Logics", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "207 - 215" }
-
Hermes Algebrass. 217 - 229CZYSTY TEKST
Hermes Algebras, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 217 - 229
BIBTEX@Article{ authors = "", title = "Hermes Algebras", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "217 - 229" }
-
A Natural Deduction System for CTLs. 231 - 240CZYSTY TEKST
Christian J. Renteria, Edward Hermann Haeusler, A Natural Deduction System for CTL, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 231 - 240
BIBTEX@Article{ authors = " Christian J. Renteria, Edward Hermann Haeusler", title = "A Natural Deduction System for CTL", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "231 - 240" }
-
On the embedding of Nelson's logicss. 241 - 248CZYSTY TEKST
On the embedding of Nelson's logics, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 241 - 248
BIBTEX@Article{ authors = "", title = "On the embedding of Nelson's logics", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "241 - 248" }
