Conclusion
This book was improved and edited by Watanabe and Tanaka based on the lectures by Nakamura on Sep.5th,1992 at Shinshu University
The content of this book is based upon the previous Mizar version of 3.29; however, one part is revised according to the Mizar version 4.09. This revised edition refer to Mizar version 5.2.12.
Please note that Mizar versions are frequently updated.
Authors
Reference
[1]Ewa Bonarska (Olgierd Wojtasiewicz English Translation，Roman Matuszewski Edition),
An Introduction to PC Mizar, Fondation Philippe le Hodey, 1990