H. Andréka

Identifiers

Open LibraryOL540206A

Top Subjects

Logic, Symbolic and mathematical (1)
Algebra, Universal (1)
Completeness theorem (1)
Decidability (Mathematical logic) (1)
Relation algebras. (1)

Books by H. Andréka

Total count: 2

On universal algebraic construction of logics

Hungarian Academy of Sciences, Central Research Institute for Physics1974-01-01
Decision problems for equational theories of relation algebras

American Mathematical Society1997-01-01