Formalized Mathematics 

 - Poland  Versita 
 - Open access e-Journal under Creative Commons (CC) License  
<br/><br/><label>ISSN: </label>1426-2630 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formalized Mamatics