عنوان
پدید آورنده
موضوع
رده
QA 9.54 .A39
QA
9
.
54
.
A39
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Advances in proof theory
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Birkhauser
تاریخ نشرو بخش و غیره
2016
مشخصات ظاهری
نام خاص و کميت اثر
xii, 425 p., 1 front ]port.[
فروست
ساير اطلاعات عنواني
Progress in computer science and applied logic
ساير اطلاعات عنواني
28
يادداشت کلی
متن يادداشت
The volume is dedicated to the 60th birthday of Professor Gerhard Jager, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 9783319291963
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Proof theory
رده بندی کنگره
شماره رده
QA
9
.
54
.
A39
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Kahle, Reinhard, 1967-
عنصر شناسه اي
AU Strahm, Thomas Adrian
عنصر شناسه اي
AU Studer, Thomas
