عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .M56 1992
QA
9
.
54
.
M56
1992
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
102963
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۴۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Mints, G. E.
عنوان اصلي
Selected papers in proof theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Napoli
نام ناشر، پخش کننده و غيره
Bibliopolis
تاریخ نشرو بخش و غیره
c1992
مشخصات ظاهری
نام خاص و کميت اثر
294 p. : ill. ; 25 cm
فروست
عنوان فروست
Studies in proof theory; 3
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
رده بندی کنگره
شماره رده
QA
9
.
54
.
M56
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Grigorii E. Mints
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
