Formalized Mathematics (a computer assisted approach), ISSN 1426-2630

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Formalized Mathematics (a computer assisted approach), ISSN 1426-2630

http://fm.mizar.org/

Formalized
Mathematics
(a computer assisted approach)

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

About this journal

For authors

Subscription

Editor-in-Chief Roman Matuszewski

Scientific Editor Grzegorz Bancerek

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

Articles in press: Vol.16(2008)

FM Bibliography file
External Bibliography file

Content by Authors
Content by Volumes

Volume 15 (2007) Numbers 1,2,3,4	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

Questions: romat@mizar.org

The Journal's web server is maintained thanks to collaboration with Department of Foundations of Computer Science of Warsaw Agricultural University (SGGW).