Original language | English |
---|---|
Place of Publication | Montreal |
Publisher | Presses de l' Université de Montréal |
Number of pages | 60 |
Publication status | Published - 1973 |
Automath : a language for mathematics
N.G. Bruijn, de
Research output: Book/Report › Book › Popular
89
Downloads
(Pure)