عنوان
پدید آورنده
موضوع
رده
QA,9.4,.L37,1976 QA,9.4,L37,1976
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
کتابخانه
محل استقرار
شابک
شابک
0720407524
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook15317
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Non-classical logics, model theory, and computability
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
نام نخستين پديدآور
/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam ;New York
نام ناشر، پخش کننده و غيره
: North-Holland Pub. Co. ;New York :distributors for the U.S.A. and Canada, Elsevier/North-Holland,
تاریخ نشرو بخش و غیره
, 1977.
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 307 p.
ساير جزييات
: --
فروست
عنوان فروست
(Studies in logic and the foundations of mathematics
مشخصه جلد
; v. 89)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies.
فروست (داده ارتباطی)
عنوان
Studies in logic and the foundations of mathematics
شماره جلد
v. 89
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Nonclassical mathematical logic--Congresses
موضوع مستند نشده
Model theory--Congresses
موضوع مستند نشده
Computable functions--Congresses
رده بندی ديویی
شماره
511
,
8
رده بندی کنگره
شماره رده
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Arruda, Ayda I
مستند نام اشخاص تاييد نشده
Costa, Newton C. A. da
مستند نام اشخاص تاييد نشده
Chuaqui, R
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Latin-American Symposium on Mathematical Logic(3d :1976 :State University of Campinas,)
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
511,8
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
0720407524.pdf
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
