Blog de las materias "Lenguajes Formales y Computabilidad" y "Lógica" de la Lic. en Computación de F@MAF.