Lógica simbólica básica - Camacho-Naranjo, Luis-Angel (Editorial de la Universidad de Costa Rica, 2003)