Informal and Formal Representations in Mathematics (2007)

Cached

Download Links

by Manfred Kerber , Martin Pollet