-
RecordNumber
26843
-
Title
I terated inductive defintions and subsystemes of analysis : recent proof - theoretical studies
-
Editor
Wilfried buchhclz [et al]
-
Publication
Springer
-
Publication Year
1981
-
Collation
v, 383 p
-
Series
Lecture notes in mathematies; v. 897
-
Subject
Iterative methods (Mathematics)
-
ADDED ENTRIES
Buchholz, Wilfried, ed , ^dSeries: Lecture notes in mathematics; v. 897
-
Main Class
511
-
Sub Class
.4
-
Cutter no
I88
-
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/08/26 11:14:00
-
Link To Document :
