عنوان
پدید آورنده
موضوع
رده
BC 61 .B32L32 1999 E.Book ,
BC
61
.
B32L32
1999
E
.
Book
,
کتابخانه
محل استقرار
شابک
شابک
:1889119083 (pbk. : alk. paper)
شماره کتابشناسی ملی
شماره
10357
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Language, proof, and logic
نام عام مواد
[electronic resources]
نام نخستين پديدآور
\ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
;London
نام ناشر، پخش کننده و غيره
: seven bridges press
تاریخ نشرو بخش و غیره
, 1999
مشخصات ظاهری
نام خاص و کميت اثر
xi, 587 p.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Glossary
متن يادداشت
Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic.
موضوع مستند نشده
منطق
رده بندی ديویی
شماره
160
ويراست
21
رده بندی کنگره
شماره رده
BC
61
نشانه اثر
.
B32L32
1999
شماره رکورد غير از شماره رده بندي
E
.
Book
,
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Barwise, Jon.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Etchemendy, John,1952-
مستند نام اشخاص تاييد نشده
Allwein, Gerard,1956-
مستند نام اشخاص تاييد نشده
Barker-Plummer, Dave.
مستند نام اشخاص تاييد نشده
Liu, Albert,1966-
مبدا اصلی
تاريخ عمليات
20151217151018.0
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
1889119083.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
270410
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
