Mathematical logic
Model theory
Richard Waldinger
Year of birth missing
Axiom
Regular expression
Theorem
Test
First-order logic
Logic
Mathematics
Philosophical logic