Title: Tarski's world 3.0
Subjects: First-order logic, Tarski's world, Logic, symbolic and mathematical