Electronic Journals

Social Science Research Center Berlin

by subject | by title | search | contact

  Formalized Mathematics

Journal freely available: Vol. 14, Iss. 1 (2006) -  
General information on the online edition:
Publisher:Versita, Warsaw
search publisher's open access policy in SHERPA/RoMEO
Subject(s):Mathematics
Keyword(s):Allgemeine Mathematik
E-ISSN(s):1898-9934
P-ISSN(s):1426-2630
ZDB-Number:2503975-1
Fulltext online since:Vol. 14, Iss. 1 (2006)
Homepage(s):https://content.sciendo.com/view/journals/forma/forma-overview.xml
https://fm.mizar.org/
Type of appearance:Fulltext, online and print
Pricetype:free of charge
Please respect the publisher's terms of use.