green Journal of Formalized Mathematics

Verlag: University of Nagano
ZDB-Nummer: 2007656-3
Fachgruppen: Mathematik
Schlagworte: Theoretische Mathematik
Homepage: http://mizar.uwb.edu.pl/JFM/
erste Volltextausgabe: Vol. 1 (1989)
Erscheinungform: Volltext, nur online
Kosten: kostenlos