A Collection of T E Xed Mizar Abstracts (1989)

by A Trybulec, P Rudnicki