Fundamentos de matemática I : material para el curso con un enfoque axiomático formal - Borbón-Alpízar, Alexander, (Instituto Tecnológico de Costa Rica (ITCR), 2024)