شابک
شابک
9780195370690 (pbk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53237
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Tracking reason
نام عام مواد
[Book]
ساير اطلاعات عنواني
:proof, consequence, and truth
نام نخستين پديدآور
/ Jody Azzouni
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Oxford University Press,
تاریخ نشرو بخش و غیره
, c2006.
مشخصات ظاهری
نام خاص و کميت اثر
vi, 248 p.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Electronic books. , local
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Azzouni, Jody.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
ebrary, Inc
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
9780195187137.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
9780195187137.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
