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