3 experts in "algebraic logic" found:

Expert In:

• Algebraic logic
• Algebraic theory of semigroups
• Ordered algebraic structures
• Universal algebra

Expert In:

• Algebra
• Mathematical logic

Expert In:

• Computability over abstract algebras
• Computation logic theory
• Automatic proof checking
• Logical foundations of software documentation