Title: First-order logic revisited
Subjects: Congresses, First-order logic, Wiskundige logica