Automath
Subtitle: a language for mathematics.
Series: Séminaire de mathématiques supérieures,; 52
Publisher: Les Presses de L'Université de Montréal
Published: 1973
Place of publication: Montréal
Language: eng
Number of pages: 62
Subjects: AUTOMATH (Formal language)
Notes: Bibliography: leaves [56]-58.
At head of title: Université de Montréal--Département de Mathématiques.
"Notes du cours donné ... à la dixième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1971."