-
RecordNumber
11141
-
Title
Computation and proof theory
-
Editor
Edited by M. M. Michter [et al]
-
Publication
Springer
-
Publication Year
1984
-
Collation
viii, 475 p
-
Series
Lecture notes in mathematics, 1104
-
Notes
Proceedings of the logic colloquim Aachen, 1983
-
Subject
Proof theory
-
ADDED ENTRIES
Richter, E. Borger ed , ^dSeries: Lecture notes in mathematics, 1104
-
Main Class
511
-
Sub Class
.3
-
Cutter no
C738
-
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/08/27 09:30:13
-
Link To Document :
