Title: Les méthodes formelles en axiomatique
Subjects: Symbolic and mathematical Logic, Congresses