Mizar Lecture Notes Published in March 16th, 1994
Revised Edition Published in July 29th, 1996. Authors: Yatsuka Nakamura, Toshihiko Watanabe, Yasushi Tanaka, Pauline Kawamoto Publisher: Shinshu University, Department of Information Engineering, Kiso Lab. Published by Shinshu University, Department of Information
Engineering, Kiso Lab. 500 Wakasato Nagano-shi, Nagano-ken 380 Shinshu University, Department of Information Engineering Nakamura Research Lab , Information Engineering Course TEL 026 (226) 4101 Extention58431994 Yatsuka Nakamura