Logique contemporaine et formalisation - Martin, Roger, docteur ès-lettres. (PUF, 1964)