Grupo de Lógica de Bogotá.