عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .G37 1990
QA
9
.
54
.
G37
1990
کتابخانه
محل استقرار
91988
آخر۲۷
English
)20(
Gasteren, Antonetta J. M.
1952-
On the shape of mathematical arguments
Berlin, New York
Springer-Verlag
1990
viii, 180 p. : ill. ; 25 cm
Lecture notes in computer science, 544
Includes bibliographical references )p. 178-180(
، Proof theory
QA
9
.
54
.
G37
1990
AU
A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
TI
SE
02
