Bibliografía básica

R. P. Grimaldi. Matemáticas discretas y combinatoria. Addison-Wesley Iberoamericana. Tercera Edición.

B. C. Pierce. Types and Programming Languages. The MIT Press. 2002.

Y. Bertot y P. Casteran. Interactive Theorem Proving and Program Development. Springer. 1998.
Bibliografía complementaria 
R. L. Graham, D. E. Knuth y O. Patashnik. Concrete Mathematics, a foundation for computer science. Addison-Wesley.

K. H. Rosen. Matemática Discreta. McGraw-Hill. Quinta Edición.

J. C. Mitchell. Foundations for programming Languages. MIT Press.