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