Towards a formal mathematical vernacular (1992)

by Jan Friso Groote
Venue:Utrecht University