van Gasteren, A J M.
On the Shape of Mathematical Arguments - Berlin Springer Verlag 1990 - 180 - Lecture notes in computer science ; 00445 .
3540528490
Mathematical Arguments
681 LNCS
On the Shape of Mathematical Arguments - Berlin Springer Verlag 1990 - 180 - Lecture notes in computer science ; 00445 .
3540528490
Mathematical Arguments
681 LNCS