عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:0198530269
شماره کتابشناسی ملی
شماره
34095
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Proof and Disproof in Formal Logic
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: An Introduction for Programmers
نام نخستين پديدآور
\ Richard Bornat
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
, New York
نام ناشر، پخش کننده و غيره
: Oxford University Press
تاریخ نشرو بخش و غیره
, 2005
مشخصات ظاهری
نام خاص و کميت اثر
xix, 243p.
ساير جزييات
:ill.
ابعاد
;25 cm.
فروست
عنوان فروست
Oxford Texts in Logic
شاپا ي ISSN فروست
,2
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Evidence
موضوع مستند نشده
Logic, Modern
موضوع مستند نشده
منطق جدید
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Bornat, Richard,1944-
مبدا اصلی
کشور
ایران
تاريخ عمليات
20150109085123.0
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
0198530269.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/toc/ecip0516/2005019564.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
