Suchergebnisse - Andréka, Hajnal 1947-

Decision problems for equational theories of relation algebras

von Andréka, Hajnal 1947-, Givant, Steven R. 1943-, Németi, István 1942-

Inhaltsverzeichnis

Generalization of the concept of variety and quasivariety to partial algebras through category theory

von Andréka, Hajnal 1947-, Németi, I.

Cylindric set algebras

von Henkin, Leon, Andréka, Hajnal 1947-

Modal languages and bounded fragments of predicate logic

von Andréka, Hajnal 1947-, Benthem, Johan van 1949-, Németi, István

Back and Forth between Modal Logic and Classical Logic

von Andréka, Hajnal 1947-

Simple Relation Algebras

von Givant, Steven R. 1943-, Andréka, Hajnal 1947-

Universal Algebraic Logic: Dedicated to the Unity of Science

von Andréka, Hajnal 1947-, Németi, István

Cylindric-like algebras and algebraic logic

Weitere beteiligte Personen: “… Andréka, Hajnal 1947- …”
Inhaltsverzeichnis

Algebraic logic

Weitere beteiligte Personen: “… Andréka, Hajnal 1947- …”

Algebraic logic: [colloquium, 1988, Budapest]

Weitere beteiligte Personen: “… Andréka, Hajnal 1947- …”