عنوان
پدید آورنده
موضوع
رده
QA 9.54 .J34 1986
QA
9
.
54
.
J34
1986
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Theories for admissible sets : a unifying approach to proof theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Napoli
نام ناشر، پخش کننده و غيره
Bibliopolis
تاریخ نشرو بخش و غیره
c1986
مشخصات ظاهری
نام خاص و کميت اثر
167p
فروست
ساير اطلاعات عنواني
Studies in proof theory. Lecture notes; 2
يادداشت کلی
متن يادداشت
Habilitationsschrift
متن يادداشت
Bibliograhy: p. 162-167
متن يادداشت
ISBN: 8870881490
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Gerhard Jager
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
عنصر شناسه ای
، Admissible sets
رده بندی کنگره
شماره رده
QA
9
.
54
.
J34
1986
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Jager, Gerhard
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
