On the shape of mathematical arguments
Van Gasteren, A.J.M.
On the shape of mathematical arguments - - Berlin Springer-Verlag 1990 - vii,180 p. 24 cm - Lecture notes in computer science ; v.445 .
0-540-52849-04
Computer science-Mathematics
Logic, Symbolic and mathematical
Proof theory-Data processing
681.3:517.1 Van
On the shape of mathematical arguments - - Berlin Springer-Verlag 1990 - vii,180 p. 24 cm - Lecture notes in computer science ; v.445 .
0-540-52849-04
Computer science-Mathematics
Logic, Symbolic and mathematical
Proof theory-Data processing
681.3:517.1 Van