On the Shape of Mathematical Arguments (Lecture Notes in Computer Science, 445 | DealShopping Deutschland