Akademik

first-order logic
The study of inference in first-order languages.

Philosophy dictionary. . 2011.