Towards a formal mathematical vernacular (1992)

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

Document Versions

Towards a formal mathematical vernacular –Jan Friso Groote — 1992 — Utrecht University
Towards a Formal Mathematical Vernacular –Jan Friso Groote — 1992 — Utrecht University