Investigadores del área FÍSICO-MATEMÁTICAS Y CIENCIAS DE LA TIERRA especializados en APLICACIONES DE LA LÓGICA