Shelfclass_id |
4.B.3 |
Sortkey |
VAN GASTEREN, ANTONETTA. J. M |
Authors |
Antonetta J. M van Gasteren, Antonetta.J.M. van Gasteren |
Title |
On the Shape of Mathematical Arguments |
Publisher |
Springer-Verlag |
Year |
1990 |
Languages |
eng |
Isbn |
0387528490, 3540528490 |
Series |
Lecture Notes in Computer Science |
Volume |
445 |
Issn |
0302-9743 |
Description |
viii, 180 p. ill. 25 cm. |
Record date |
20110503 |
Location |
New York |
Keywords |
Proof theory |
Notes |
foreword by Edsger W. Dijkstra |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/90010551-d.html |