Geahča maid: Introducción a la lógica simbólica /