عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L6 1990
QA
9
.
A1L6
1990
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
127938
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Logic and computer science
نام عام مواد
[Book]
ساير اطلاعات عنواني
: lectures given at the lst session of the Centro internazionale matematicoestivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
نام نخستين پديدآور
/ S. Homer... [et al.]
نام ساير پديدآوران
; editor, P. Odifreddi
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
: Springer - Verlag
تاریخ نشرو بخش و غیره
, c1990
مشخصات ظاهری
نام خاص و کميت اثر
162p.
ساير جزييات
: ill.
ابعاد
; 25 cm
فروست
عنوان فروست
Lecture notes in mathematics
مشخصه جلد
; 1429
يادداشت کلی
متن يادداشت
انگليسي
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses
موضوع مستند نشده
Programming language (Electronic Computers)--Syntax
موضوع مستند نشده
Computational complextiy -- Congresses
رده بندی کنگره
شماره رده
QA
9
نشانه اثر
.
A1L6
1990
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Homer
عنصر شناسه اي
Odifreddi
عنصر شناسه اي
Centro internazionale matematico estivo
ساير عناصر نام
, S.(Steven)
ساير عناصر نام
, Piergiorgio
تاريخ
, 1950-
مبدا اصلی
کشور
Iran
سازمان
Central Library Of Tehran University
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
