Automath : a language for mathematics

Author(s)

• Bruijn, N. G. de (Nicolaas Govert)

Bibliographic Information

Automath : a language for mathematics

par Nicolaas Govert de Bruijn

（Séminaire de mathématiques supérieures, 52）

Les Presses de L'Université de Montréal, 1973

Note

At head of title: 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."

Bibliography: leaves [56]-58

• NCID: BA03127384
• ISBN:
  • 0840502230
• LCCN: 73167871
• Country Code: cn
• Title Language Code: eng
• Text Language Code: engfre
• Place of Publication: Montréal
• Pages/Volumes: 62 leaves
• Size: 28 cm
• Classification:
  • LCC : QA267.3
  • DC : 511/.3
• Subject Headings:
  • LCSH : AUTOMATH (Formal language)
• Parent Bibliography ID:
  • BA00297333