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