Revistas electrónicas

Centro de Ciencias Matemáticas
Nombre Journal of Formalized Mathematics
URL http://www.mizar.org/JFM/
Editorial (Gratis-Mizar Mathematical Library) Vol. 1, 1989-