عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .N44 2001
QA
9
.
54
.
N44
2001
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
130223
شماره استاندارد
150314
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بهار۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)12-24(
نام نخستين پديدآور
Negri, Sara
خط فهرست نويسي و خط اصلي شناسه
1967-
عنوان اصلي
Structural proof theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 257 p.; 24 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
رده بندی کنگره
شماره رده
QA
9
.
54
.
N44
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Sara Negri, Jan von Plato; with an appendix by Aarne Ranta
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU naJ ,otalP noV
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
165
نحوه قرار گرفتن مدرك روي قفسه
131
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
