Mathematical logic
Logic
Mathematics
Model theory
Proof theory
Quantification
Predicate logic
Thoralf Skolem
Skolem normal form
Soundness
Quantifier
Sequent calculus