- Description
- vii, 180 p.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 445
- Subject
- Proof theory
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 90-871
- ISBN
- 3540528490 (Springer-Verlag Berlin Heidelberg New York)
- 9783540528494 (Springer-Verlag Berlin Heidelberg New York)
- 0387528490 (Spring-Verlag New York Berlin Heidelberg)
- 9780387528496 (Spring-Verlag New York Berlin Heidelberg)
- LCCN
- 90010551
- OCLC
- 140781028
- Author
Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
- Title
On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra.
- Imprint
Berlin ; New York : Springer-Verlag, c1990.
- Series
Lecture notes in computer science ; 445
- Bibliography
Includes bibliographical references.
- Research Call Number
JSF 90-871