Introducción a la lógica Matemática - Tinoco del Valle, Jesús (Ciencias Naturales Series., 2023)