"On the Shape of Mathematical Arguments (Lecture Notes in Computer Science 445)" - читать интересную книгу автора (Antonetta J. M. van Gasteren)