green Formalized Mathematics

Publisher: Versita, Warsaw
ISSN: 1898-9934 (), 1426-2630 ()
ZDB-Number: 2503975-1
Subjects: Mathematics
Keywords: Allgemeine Mathematik
Homepage: http://www.degruyter.com/view/j/forma
http://mizar.org/fm/
Fulltext online since: Vol. 14, 1 (2006)
Type of appearence: Fulltext, online and print
Pricetype: free of charge