Resultado de la búsqueda: teoria de los grupos y teoria de los tipos logicos