Bibliografía

Referencias principales utilizadas en estas notas.

• Gries, D., Schneider, F.B. A Logical Approach to Discrete Mathematics. Springer, 1993.
• Childs, L.N. A Concrete Introduction to Higher Algebra. Springer, 2009.
• Velleman, D.J. How to Prove It: A Structured Approach. Cambridge University Press, 2019.
• Hopcroft, J.E., Motwani, R., Ullman, J.D. Introduction to Automata Theory, Languages, and Computation. Pearson, 2006.