RT @ALEXJFT
@javifields2 En lo que llevo de carrera lo que más agradezco haber aprendido no es a hacer cálculos o aprender teoría si no entender cómo funciona una construcción formal basada en demostraciones y definiciones de un sistema lógico y eso sí que tiene muchas aplicaciones en la vida real