Introducción a la lógica - Camacho, Luis (ITCR, 1983)