SLGR
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.GSO.4.61.1003101028390.20987@math> |
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: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================