Journal of Formalized Mathematics

Verfügbarkeit: frei zugänglich
Homepage(s): http://mizar.uwb.edu.pl/JFM/
Volltext online seit: Jg. 1 (1989)
Verlag: University of Nagano
ZDB Nummer: 2007656-3
Fachgruppe(n): Mathematik
Form: Volltext, nur online
Kosten: kostenlos