On the shape of mathematical arguments /
Van Gasteren, Antonetta J. M. (1952- ).
On the shape of mathematical arguments / A. J. M. van Gasteren ; forew. by Edsger W. Dijkstra. - Berlin : Springer, 1990. - VIII, 180 s. : il. ; 25 cm. - Lecture Notes in Computer Science ; 445 . - Lecture Notes in Computer Science 445 .
Bibliogr. s. 178-180.
3540528490 0387528490
Teoria dowodu.
On the shape of mathematical arguments / A. J. M. van Gasteren ; forew. by Edsger W. Dijkstra. - Berlin : Springer, 1990. - VIII, 180 s. : il. ; 25 cm. - Lecture Notes in Computer Science ; 445 . - Lecture Notes in Computer Science 445 .
Bibliogr. s. 178-180.
3540528490 0387528490
Teoria dowodu.