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