Ciencias Formales

La colección Ciencias Formales difunde investigaciones y estudios teóricos sobre estructuras, modelos y sistemas abstractos que fundamentan el conocimiento matemático, lógico y computacional. Promueve enfoques disciplinarios e interdisciplinarios que fortalecen la comprensión rigurosa y el desarrollo de métodos formales aplicables a diversas áreas del saber.