عنوان
پدید آورنده
موضوع
رده
QA 1 .N87 no.6
QA
1
.
N87
no
.
6
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
52313
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)50(
نام نخستين پديدآور
Curry, Haskell Brooks
خط فهرست نويسي و خط اصلي شناسه
1900-
عنوان اصلي
A theory of formal deducibility
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Notre Dame
تاریخ نشرو بخش و غیره
1950
مشخصات ظاهری
نام خاص و کميت اثر
ix, 126 p. 23 cm
فروست
عنوان فروست
Notre Dame mathematical lectures, no. 6
يادداشت کلی
متن يادداشت
Bibliography: p. 123-126
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
1
.
N87
no
.
6
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
05
