Title: Le formalisme en action
Subjects: Mathematics, Congresses, Philosophy, Symbolic and mathematical Logic