Initiation a la logique - Dubarle, Dominique. (Collection de logique mathématique. Série A, 1957)