On the shape of mathematical arguments / A.J.M. van Gasteren..
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; London :
Springer-Verlag,
c1990.
|
| Series: | Lecture notes in computer science ;
445 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00886nxm a2200217zn 4500 | ||
|---|---|---|---|
| 001 | 000291267 | ||
| 005 | 20180201110110.0 | ||
| 008 | 920303s1990 gw a 00 eng | ||
| 020 | |a 3540528490 | ||
| 082 | 0 | 4 | |a 511.3 |2 20 |
| 089 | |a 511.3 | ||
| 100 | 1 | |a Gasteren, A. J. M. van |q (Antonetta J. M. van), |d 1952- | |
| 245 | 1 | 0 | |a On the shape of mathematical arguments / |c A.J.M. van Gasteren.. |
| 260 | |a Berlin ; |a London : |b Springer-Verlag, |c c1990. | ||
| 300 | |a vii,180p ; |c 25cm. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 445 | |
| 504 | |a Includes bibliographical references | ||
| 650 | 0 | 0 | |a Proof theory |
| 787 | |a Lecture notes in computer science |t No.445. On the shape of mathematical arguments |w 000675470 | ||
| 999 | |c 250219 |d 250219 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_GAS |7 0 |9 383507 |a PILKINGTON |b PILKINGTON |c MAIN |d 1994-02-23 |l 2 |o 511.3/GAS |p 0400505916 |r 1998-11-11 |w 2018-02-01 |y LONG | ||