On the shape of mathematical arguments / A.J.M. van Gasteren..

Saved in:
Bibliographic Details
Main Author: Gasteren, A. J. M. van (Antonetta J. M. van), 1952-
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 
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 
999 |c 250219  |d 250219