Automath : a language for mathematics

著者

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

書誌事項

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

注記

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

詳細情報

• NII書誌ID(NCID): BA03127384
• ISBN:
  • 0840502230
• LCCN: 73167871
• 出版国コード: cn
• タイトル言語コード: eng
• 本文言語コード: engfre
• 出版地: Montréal
• ページ数/冊数: 62 leaves
• 大きさ: 28 cm
• 分類:
  • LCC : QA267.3
  • DC : 511/.3
• 件名:
  • LCSH : AUTOMATH (Formal language)
• 親書誌ID:
  • BA00297333