Title: Foundations of the formal sciences
Subjects: Mathematics, Congresses, Formalization (Philosophy), Logic, Filosofie van de wiskunde