عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .G6 1996a
QA
9
.
A1
.
G6
1996a
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
130226
شماره استاندارد
130427
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20-24(
عنوان اصلي
Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Natick, Mass.
نام ناشر، پخش کننده و غيره
Association for Symbolic Logic
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
viii, 322 p.: ill.; 24 cm
فروست
عنوان فروست
Lecture notes in logic
شاپا ي ISSN فروست
6
يادداشت کلی
متن يادداشت
Originally published: Berlin: Springer-Verlag, 1996
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
عنصر شناسه ای
Congresses ، Mathematics-- Philosophy
عنصر شناسه ای
Congresses ، Computer science
عنصر شناسه ای
Congresses ، Mathematical physics
رده بندی کنگره
شماره رده
QA
9
.
A1
.
G6
1996a
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
edited by Petr Hajek
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU rteP ,kejaH
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Godel'96 )1996: Brno, Czech Republic(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
165
نحوه قرار گرفتن مدرك روي قفسه
02
