Title: Automath;
First published: 1973
Subjects: AUTOMATH (Formal language), AUTOMATH (Langage formalisé)
LC classification: QA267.3 .B78