"Ontic: A Knowledge Representation System for Mathematics", D.A. McAllster, MIT Press, 1989.
(1989)
Languages mentioned
Ontic
{1989}