عنوان
پدید آورنده
موضوع
رده
BC 135 .M6
BC
135
.
M6
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
عنوان و نام پديدآور
عنوان اصلي
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
1964 [c1952]
مشخصات ظاهری
نام خاص و کميت اثر
117 p
فروست
عنوان فروست
Studies in logic and the foundaations of mathematics
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography: p. [116]-117
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical
عنصر شناسه ای
Semantics (Philosophy)
عنصر شناسه ای
Godel, Kurt
رده بندی کنگره
شماره رده
BC
135
.
M6
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Mostowski, Andrzej
