The mathematical language AUTOMATH, its usage and some of its extensions. Symp. on automatic demonstration (1970)

by N de Bruijn
Venue:Lect. Notes in Math. 125