-
On regular and symmetric identities IIs. 100 - 102CZYSTY TEKST
Ewa Graczyńska, On regular and symmetric identities II, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 100 - 102
BIBTEX@Article{ authors = " Ewa Graczyńska", title = "On regular and symmetric identities II", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "100 - 102" }
-
On a problem in algebraic model theorys. 103 - 107CZYSTY TEKST
Bui Huy Hien, On a problem in algebraic model theory, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 103 - 107
BIBTEX@Article{ authors = " Bui Huy Hien", title = "On a problem in algebraic model theory", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "103 - 107" }
-
K1.1 is not canonicals. 109 - 112CZYSTY TEKST
M.J. Cresswell, G.E. Hughes, K1.1 is not canonical, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 109 - 112
BIBTEX@Article{ authors = " M.J. Cresswell, G.E. Hughes", title = "K1.1 is not canonical", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "109 - 112" }
-
Logic of vague conceptss. 115 - 122CZYSTY TEKST
Ewa Orłowska, Logic of vague concepts, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 115 - 122
BIBTEX@Article{ authors = " Ewa Orłowska", title = "Logic of vague concepts", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "115 - 122" }
-
Tense logic for nondeterministic times. 127 - 131CZYSTY TEKST
Ewa Orłowska, Tense logic for nondeterministic time, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 127 - 131
BIBTEX@Article{ authors = " Ewa Orłowska", title = "Tense logic for nondeterministic time", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "127 - 131" }
-
A closure system for elementary situationss. 134 - 138CZYSTY TEKST
Bogusław Wolniewicz, A closure system for elementary situations, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 134 - 138
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "A closure system for elementary situations", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "134 - 138" }
-
Answer to a question raised by Harrops. 140 - 141CZYSTY TEKST
Dolph Ulrich, Answer to a question raised by Harrop, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 140 - 141
BIBTEX@Article{ authors = " Dolph Ulrich", title = "Answer to a question raised by Harrop", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "140 - 141" }
-
Measures on cylindric algebrass. 142 - 149CZYSTY TEKST
Miklos Ferenczi, Measures on cylindric algebras, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 142 - 149
BIBTEX@Article{ authors = " Miklos Ferenczi", title = "Measures on cylindric algebras", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "142 - 149" }
-
On two properties of structurally complete logicss. 154 - 158CZYSTY TEKST
Andrzej Biela, Wiesław Dziobiak, On two properties of structurally complete logics, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 154 - 158
BIBTEX@Article{ authors = " Andrzej Biela, Wiesław Dziobiak", title = "On two properties of structurally complete logics", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "154 - 158" }
-
There are 2ω with the relevance between R and RMs. 161 - 166CZYSTY TEKST
Wiesław Dziobiak, There are 2ω with the relevance between R and RM, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 161 - 166
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "There are 2ω with the relevance between R and RM", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "161 - 166" }
-
Gentzen systems and decision procedures for relevant logicss. 169 - 174CZYSTY TEKST
Steve Giambrone, Gentzen systems and decision procedures for relevant logics, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 169 - 174
BIBTEX@Article{ authors = " Steve Giambrone", title = "Gentzen systems and decision procedures for relevant logics", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "169 - 174" }
