[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] SLGR
Hello,
Some of you might be interested in the special volume of Studies in Logic,
Grammar and Rhetoric on Computer Reconstruction of the Body of Mathematics
which was eventually published in January. The full on-line version is
available here:
http://logika.uwb.edu.pl/studies/vol31.html
We still have a few hardcopies left, so if you would like to obtain one,
please let me know.
Regards,
Adam Naumowicz
=======================================================================
Dept. of Programming and Formal Methods Fax: +48(85)7457662
Institute of Informatics Tel: +48(85)7457559 (office)
University of Bialystok E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
=======================================================================