Title: Fundamentos de lógica matemática y computación