TY - SER AU - Marquínez Argote,Germán TI - Introducción a la lógica matemática / N1 - Incluye bibliografía ER -