First-order logic
article-link
What links here
Finitary relation
Binary relation
article-link
Algebraic structure
article-link
Alfred Tarski
article-link
Universal algebra
article-link
Relation
article-link
Presburger arithmetic
article-link
Prolog
article-link