TY  - BOOK
AU  - Bruijn, Nicolass, G. de.
AU  - 
TI  - Automath; a language for mathematics
T2  - Univ. of Montreal, Seminaire de Mathematiques superieures-ETE 1971, v.52
U1  - 518.5424 
PY  - 1973///
CY  - Montreal
PB  - Les Presses de L'Universite de Montreal
ER  -