-
RecordNumber
18820
-
Author
Gasteren, A. J. M. Van
-
Title
On the shape of mathematical arguments
-
Author Statement
A. J. M. Van Gasteren
-
Publication
Springer
-
Publication Year
[c1990]
-
Collation
vii, 180p.: diagrs
-
Series
Lecture notes in computer science; 445
-
Bibliography
Includes bibliographies
-
Subject
Proof theory
-
ADDED ENTRIES
^dSeries:Lecture notes in computer scinece; 445
-
Main Class
511
-
Sub Class
.22
-
Cutter no
G255o
-
وارد كنندة اطلاعات
fazel^d//
-
Link To Document :
