عنوان
پدید آورنده
موضوع
رده
QA۹ /ب۸۷م۸ ۱۳۷۰
QA
۹
/
ب
۸۷
م
۸ ۱۳۷۰
کتابخانه
محل استقرار
شابک
شرايط تهيه و بها
۱۴۵۰ری‍ال
شماره کتابشناسی ملی
شماره
م۷۰-۴۸۰۲
عنوان و نام پديدآور
عنوان اصلي
منطق و اث‍ب‍ات
نام نخستين پديدآور
/ [م‍اروی‍ن ال. ب‍ی‍ت‍ی‍ن‍ج‍ر]
نام ساير پديدآوران
؛ ت‍رج‍م‍ه غ‍لام‍رض‍ا ی‍اس‍ی‌پ‍ور.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
تهران
نام ناشر، پخش کننده و غيره
: نشر علوم پ‍ای‍ه
تاریخ نشرو بخش و غیره
، ۱۳۷۰.
مشخصات ظاهری
نام خاص و کميت اثر
۲۰۸ ص.
فروست
عنوان فروست
نشر علوم پ‍ای‍ه
ساير اطلاعات عنواني
. ریاضی
مشخصه جلد
؛ ۶
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
عنوان اصلی:. Logic, proof, and sets
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه: ص. [۲۰۱] - ۲۰۲.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
منطق ریاضی
عنصر شناسه ای
برهان (منطق)
عنصر شناسه ای
نظریه مجموعه‌ها
رده بندی ديویی
شماره
۵۱۱
/
۳
رده بندی کنگره
شماره رده
QA
۹
نشانه اثر
/
ب
۸۷
م
۸ ۱۳۷۰
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
ب‍ی‍ت‍ی‍ن‍ج‍ر
عنصر شناسه اي
Bittinger
ساير عناصر نام
، م‍اروی‍ن
ساير عناصر نام
, Marvin L.
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
ی‍اس‍ی‌پ‍ور
ساير عناصر نام
، غ‍لام‍رض‍ا
تاريخ
، ۱۳۲۲ -
تاريخ
، مترجم
