Lógica para la matemática: Ximena Araneda - Palacino Castillo, Amalia Autora 27939