## A Refinement of de Bruijn’s Formal Language of Mathematics (2004)

by
Fairouz Kamareddine

Venue: | Journal of Logic, Language and Information |

Citations: | 31 - 15 self |