PDF Algoritmos Funcionais: Introdução minimalista à logica de programação funcional pura aplicada à teoria dos conjuntos JOSE AUGUSTO NAVARRO GARCIA MANZANO