Lecons de logique algebrique - Curry, Haskell B. (Gauthier-Villars, Paris, 1952)