Title: The language of first-order logic
Subjects: First-order logic, Tarski's world (Computer program)