あとがき
この本は，中村が1992年9月5日に信州大学で講義した内容をもとに，渡辺，田中が加筆，編集したものです．
当時のMizarバージョン3.29にもとづいた内容となっていますが,一部はMizarバージョン4.09をもとに改訂してあります．今回の改訂版は,Mizarバージョン5.2.12を参考にしています.
Mizarは頻繁にバージョンアップされますのでご了承ください．
著者
参考文献
[1]Ewa Bonarska (Olgierd Wojtasiewicz 英訳，Roman Matuszewski 編集),
An Introduction to PC Mizar, Fondation Philippe le Hodey, 1990