The mizar logic information language (1980)

by A Trybulec
Venue:In Studies in Logic, Grammar and Rhetoric