Towards a formal mathematical vernacular (1992)

by Jan Friso Groote
Venue:Utrecht University
Citations:2 - 0 self