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