Leçons de logique algébrique - Curry, Haskell B. 1900-1982 (Collection de logique mathématique, 1952)