عنوان
پدید آورنده
موضوع
رده
QA9.5 .C87
QA9
.
5
.
C87
کتابخانه
محل استقرار
شابک
شابک
0720422086
شابک
9780720422085
شماره کتابشناسی ملی
شماره
b748185
عنوان و نام پديدآور
عنوان اصلي
Combinatory logic
نام عام مواد
[Book]
نام نخستين پديدآور
[by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam,
نام ناشر، پخش کننده و غيره
North-Holland Publishing Company,
تاریخ نشرو بخش و غیره
1958-72.
مشخصات ظاهری
نام خاص و کميت اثر
2 volumes
ابعاد
24 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
يادداشت کلی
متن يادداشت
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin.
متن يادداشت
Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
یادداشت مربوط به اعتبار ( مواد پروژکتوری و ویدئویی و مواد شنیداری)
متن يادداشت
Vol. 1 is by Haskell B. Curry and Robert Feys, with two sections by William Craig - Vol. 2 is by H.B. Curry, J.R. Hindley and J.P. Seldin.
یادداشتهای مربوط به مندرجات
متن يادداشت
Contiene: Vol. 1 -- Vol. 2.
بدون عنوان
0
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Combinatory logic.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatory logic.
موضوع مستند نشده
Logique combinatoire.
موضوع مستند نشده
Combinatory logic.
موضوع مستند نشده
Combinatory logic.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logica Matematica.
موضوع مستند نشده
Logique combinatoire.
رده بندی ديویی
شماره
511/
.
3
رده بندی کنگره
شماره رده
QA9
.
5
شماره رده
BC135
نشانه اثر
.
C87
نشانه اثر
.
C87
سایر رده بندی ها
شماره رده
03B40
شماره رده
03D99
شماره رده
P
61
کد سيستم
msc
کد سيستم
msc
کد سيستم
blsrissc
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Curry, Haskell B., (Haskell Brooks),1900-1982.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Craig, William,1918-
مستند نام اشخاص تاييد نشده
Feys, Robert
مستند نام اشخاص تاييد نشده
Hindley, J. Roger
مستند نام اشخاص تاييد نشده
Seldin, J. P.
مبدا اصلی
تاريخ عمليات
20201204081426.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
