Automath : a language for mathematics

Author(s)

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

Bibliographic Information

Automath : a language for mathematics

by N. G. de Bruijn

（TH-report, 68-WSK ;05）

Technological University Eindhoven, Netherlands Department of Mathematics, 1968

Details

• NCID: BC08626091
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Eindhoven]
• Pages/Volumes: 47 leaves
• Size: 29 cm
• Parent Bibliography ID:
  • BA60363072