Introducción al razonamiento lógico matemático - Valverde F, Luis (Editorial Universidad de Costa Rica (Editorial UCR), 2020)