Bruijn, Nicolass, G. de. <br/><br/>
Automath; a language for mathematics   

 - Montreal  Les Presses de L'Universite de Montreal  1973 
 - 62p. Bibl. 
 - Univ. of Montreal, Seminaire de Mathematiques superieures-ETE 1971, v.52 .
<br/><br/>  
<br/><br/><label>Dewey Class. No.: </label>518.5424  / B892.AL