Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 22 (2014): Issue 2 (June 2014)

Special Issue: 25 years of the Mizar Mathematical Library

Download Cover
10 Articles

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
Language:
English
Publication timeframe:
1 time per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, other