Formalized Mathematics, ISSN 1898-9934 (e), ISSN 1426-2630 (p) (a computer assisted approach)

http://fm.mizar.org/

Formalized
Mathematics
(a computer assisted approach)

ISSN 1426-2630 (p)
ISSN 1898-9934 (e)

About this journal For authors Subscription	Since 2006, papers have been published on the andDE GRUYTER servers by Versita.
Editor-in-Chief Roman Matuszewski Scientific Editor Grzegorz Bancerek Language Editor Pauline N. Kawamoto

Established in 1990. In the years 1990 - 1993 published by the Université Catholique de Louvain.

Volume 21 (2013) Articles in press: Numbers 1,2	Volume 20 (2012) Number 4 Number 3 Number 2 Number 1	Volume 19 (2011) Number 4 Number 3 Number 2 Number 1
Volume 18 (2010) Number 4 Number 3 Number 2 Number 1	Volume 17 (2009) Number 4 Number 3 Number 2 Number 1	Volume 16 (2008) Number 4 Number 3 Number 2 Number 1
Volume 15 (2007) Number 4 Number 3 Number 2 Number 1	Volume 14 (2006) Number 4 Number 3 Number 2 Number 1	Volume 13 (2005) Number 4 Number 3 Number 2 Number 1
Volume 12 (2004) * Number 3 Number 2 Number 1	Volume 11 (2003) Number 4 Number 3 Number 2 Number 1	Volume 10 (2002) Number 3 Number 2 Number 1
Volume 9 (2001) Number 4 Number 3 Number 2 Number 1	Volume 8 (1999) Number 1	Volume 7 (1998) Number 2 Number 1
Volume 6 (1997) Number 4 Number 3 Number 2 Number 1	Volume 5 (1996) Number 4 Number 3 Number 2 Number 1	Volume 4 (1993) Number 1
Volume 3 (1992) Number 2 Number 1	Volume 2 (1991) Number 5 Number 4 Number 3 Number 2 Number 1	Volume 1 (1990) Number 5 Number 4 Number 3 Number 2 Number 1

The Journal's web server is maintained thanks to collaboration with Department of Informatics of Warsaw University of Life Sciences (SGGW).