عنوان
پدید آورنده
موضوع
رده
QA 9 .5 .H56 1986
QA
9
.
5
.
H56
1986
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
103743
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
زمستا‌ن۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Hindley, J. Roger
عنوان اصلي
Introduction to combinators and ]lambda[-calculus
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge ]Cambridgeshire[
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
1986
مشخصات ظاهری
نام خاص و کميت اثر
360 p. : ill. ; 24 cm
فروست
عنوان فروست
London Mathematical Society student texts, 1
يادداشت کلی
متن يادداشت
Bibliography: p. 340-352
متن يادداشت
Includes index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Combinatory logic
عنصر شناسه ای
، Lambda calculus
رده بندی کنگره
شماره رده
QA
9
.
5
.
H56
1986
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
J. Roger Hindley, Jonathan P. Seldin
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .P .J ,nidleS
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
