AUTOMATH : a language for mathematics
par Nicolaas Govert de Bruijn.
Montréal : Presses de l'Université de Montréal, 1973.
62 h. ; 28 cm.
Serie: Séminaire de mathématiques supérieures ; 52
ISBN: 0840502230
Cabecera de portada: Université de Montréal—Département de Mathématiques.
"Notes du cours donné ... à la dixième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1971."
Bibliografía: h. [56]-58.
Reseña: MathSciNet, 54 #4208