Have a personal or library account? Click to login
Volume 19 (2011): Issue 4 (December 2011) Cover

Volume 19 (2011): Issue 4 (Jan 2011)

Formalized Mathematics
Open Access
Journal detailsArticles & issues
Previous issueFormalized MathematicsNext issue

All volumes and issues in this journal

Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)

4 articles
Open Access
|Apr 2012
Representation Theorem for Stacks
Grzegorz Bancerek  
Open Access
|Apr 2012
Cayley's Theorem
Artur Korniłowicz  
Open Access
|Apr 2012
More on the Continuity of Real Functions
Keiko Narita,  Artur Kornilowicz and  Yasunari Shidama  
Open Access
|Apr 2012
Borel-Cantelli Lemma
Peter Jaeger  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed