green Formalized Mathematics

Publisher: Versita, Warsaw
ISSN: 1898-9934 (electronic), 1426-2630 (printed)
ZDB-Number: 2503975-1
Subjects: Mathematik
Keywords: Allgemeine Mathematik
Homepage: https://content.sciendo.com/view/journals/forma/fo… , http://mizar.org/fm/
Fulltext online since: Vol. 14, 1 (2006)
Type of appearance: Volltext, Online und Druckausgabe
Pricetype: kostenlos