-
On universal algebraic logic and cylindric algebras Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 152 - 1581978CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, On universal algebraic logic and cylindric algebras, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 4, s. 152 - 158
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "On universal algebraic logic and cylindric algebras", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 4", pages = "152 - 158" }
-
Problems with the category theoretic notions of ultraproducts Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 122 - 1271981CZYSTY TEKST
Hien Huy Bui, Istvan Nemeti, Problems with the category theoretic notions of ultraproducts, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 3, s. 122 - 127
BIBTEX@Article{ authors = " Hien Huy Bui, Istvan Nemeti", title = "Problems with the category theoretic notions of ultraproducts", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 3", pages = "122 - 127" }
-
On the finitization problem of relation algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 139 - 1431997CZYSTY TEKST
Gabor Sagi, Judit Madarasz, Istvan Nemeti, On the finitization problem of relation algebras, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 139 - 143
BIBTEX@Article{ authors = " Gabor Sagi, Judit Madarasz, Istvan Nemeti", title = "On the finitization problem of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "139 - 143" }
-
Fork algebras in usual and in non-well-founded set theories : part II Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 182 - 1921995CZYSTY TEKST
Ildiko Sain, Istvan Nemeti, Fork algebras in usual and in non-well-founded set theories : part II, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 182 - 192
BIBTEX@Article{ authors = " Ildiko Sain, Istvan Nemeti", title = "Fork algebras in usual and in non-well-founded set theories : part II", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "182 - 192" }
-
Completeness of Floyd logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 115 - 1201978CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Completeness of Floyd logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 115 - 120
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "Completeness of Floyd logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "115 - 120" }
-
Not all representable cylindric algebras are neat reducts Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 145 - 1471979CZYSTY 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" }
-
Quasi equational logic of partial algebras Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 193 - 1971980CZYSTY TEKST
Istvan Nemeti, Hajnal Andreka, Quasi equational logic of partial algebras, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 193 - 197
BIBTEX@Article{ authors = " Istvan Nemeti, Hajnal Andreka", title = "Quasi equational logic of partial algebras", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "193 - 197" }
-
Decision problems for equational theories of relation algebras Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 47 - 521994CZYSTY TEKST
Hajnal Andreka, Steven Givant, Istvan Nemeti, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 47 - 52
BIBTEX@Article{ authors = " Hajnal Andreka, Steven Givant, Istvan Nemeti", title = "Decision problems for equational theories of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "47 - 52" }
-
Fork algebras in usual and in non-well-founded set theories : part I Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 158 - 1681995CZYSTY TEKST
Ildiko Sain, Istvan Nemeti, Fork algebras in usual and in non-well-founded set theories : part I, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 158 - 168
BIBTEX@Article{ authors = " Ildiko Sain, Istvan Nemeti", title = "Fork algebras in usual and in non-well-founded set theories : part I", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "158 - 168" }
-
Ontology can turn negative results to positive Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 1 / s. 29 - 401996CZYSTY TEKST
Istvan Nemeti, Ontology can turn negative results to positive, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 29 - 40
BIBTEX@Article{ authors = " Istvan Nemeti", title = "Ontology can turn negative results to positive", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "29 - 40" }
-
Program verification within and without logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 124 - 1291979CZYSTY 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" }
