Reihe Lecture Notes in Computer ScienceAntonetta J.M. van Gasteren ×Bücher × On the Shape of Mathematical Arguments Antonetta J.M. van GasterenSpringer BerlinSoftcover1990