Logique contemporaine et formalisation

Martin, Roger