Deduction
Abstraction
Axiology
Leon Henkin
First-order logic
Modal logic
Natural deduction
Logic
Mathematical logic
Philosophical logic