Research Catalog
On the shape of mathematical arguments
- Title
- On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra.
- Author
- Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
- Publication
- Berlin ; New York : Springer-Verlag, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 90-871 | Offsite |
Details
- 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)
- 0387528490 (Spring-Verlag New York Berlin Heidelberg)
- LCCN
- 90010551
- OCLC
- NYPG90-B89137
- 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