Automath;
Subtitle: A language for mathematics (Seminaire de mathematiques superieures)
Publisher: Les Presses de L'Universite de Montreal
Published: 1973
Language: eng
Format: Unknown Binding
ISBN-13: 9780840502230
Subjects: AUTOMATH (Formal language)