Title: Thirty years of foundational studies
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic