عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:0198529805
شماره کتابشناسی ملی
شماره
34092
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
نام نخستين پديدآور
\ Shawn Hedman
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
, New York
نام ناشر، پخش کننده و غيره
: Oxford University Press
تاریخ نشرو بخش و غیره
, 2004
مشخصات ظاهری
نام خاص و کميت اثر
xx, 431p.
ساير جزييات
:ill.
ابعاد
;25 cm.
فروست
عنوان فروست
Oxford Texts in Logic
شاپا ي ISSN فروست
,1
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
منطق
موضوع مستند نشده
منطق ریاضی
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Hedman, Shawn
مبدا اصلی
کشور
ایران
تاريخ عمليات
20060722204347.0
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
0198529805.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
