-
ω-saturated matricess. 120 - 123CZYSTY TEKST
Janusz Czelakowski, ω-saturated matrices, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 120 - 123
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "ω-saturated matrices", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "120 - 123" }
-
Program verification within and without logics. 124 - 129CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Ildiko Sain, Program verification within and without logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 124 - 129
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti, Ildiko Sain", title = "Program verification within and without logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "124 - 129" }
-
Filters and natural extensions of closure systemss. 130 - 132CZYSTY TEKST
Roman Suszko, Filters and natural extensions of closure systems, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 130 - 132
BIBTEX@Article{ authors = " Roman Suszko", title = "Filters and natural extensions of closure systems", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "130 - 132" }
-
Some remarks on the logic of vaguenesss. 133 - 138CZYSTY TEKST
Ayda I. Arruda, Elias H. Alves, Some remarks on the logic of vagueness, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 133 - 138
BIBTEX@Article{ authors = " Ayda I. Arruda, Elias H. Alves", title = "Some remarks on the logic of vagueness", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "133 - 138" }
-
A semantical study of some systems of vagueness logics. 139 - 144CZYSTY TEKST
Ayda I. Arruda, Elias H. Alves, A semantical study of some systems of vagueness logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 139 - 144
BIBTEX@Article{ authors = " Ayda I. Arruda, Elias H. Alves", title = "A semantical study of some systems of vagueness logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "139 - 144" }
-
Not all representable cylindric algebras are neat reductss. 145 - 147CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Not all representable cylindric algebras are neat reducts, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 145 - 147
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "Not all representable cylindric algebras are neat reducts", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "145 - 147" }
-
On definability in Peano arithmetics. 148 - 153CZYSTY TEKST
Laszlo Csirmaz, On definability in Peano arithmetic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 148 - 153
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "On definability in Peano arithmetic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "148 - 153" }
-
B Seg has the finite model propertys. 154 - 160CZYSTY TEKST
B Seg has the finite model property, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 154 - 160
BIBTEX@Article{ authors = "", title = "B Seg has the finite model property", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "154 - 160" }
-
On {<->,~}-reduct of the intuitionistic consequence operations. 161 - 169CZYSTY TEKST
Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński, On {<->,~}-reduct of the intuitionistic consequence operation, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 161 - 169
BIBTEX@Article{ authors = " Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński", title = "On {<->,~}-reduct of the intuitionistic consequence operation", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "161 - 169" }
