Canonical form
article-link
What links here
Skolem normal form
Thoralf Skolem
article-link
List of mathematical logic topics
article-link
Löwenheim–Skolem theorem
article-link
Normal form
article-link
Conjunctive normal form
article-link
Model theory
article-link
First-order logic
article-link