Title: Tarski's world
Subjects: Tarski's world, First-order logic