TY - BOOK AU - Curry,Haskell B TI - Lecons de logique algébraique T2 - Logique mathématique. Série A. PY - 1952/// CY - Paris PB - Gauthier KW - Manual KW - Lógica matemática ER -