A re of de Bruijn's formal language of mathematics (2004)

by F Kamareddine, R Nederpelt
Venue:Journal of Logic, Language and Information