عنوان
پدید آورنده
موضوع
رده
BC128 .V33 2007
BC128
.
V33
2007
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
988176
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Dependence Logic
نام عام مواد
[Book]
ساير اطلاعات عنواني
:A New Approach to Independence Friendly Logic
نام نخستين پديدآور
/ Jouko Veaeaneanen
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge ;New York
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 2007.
مشخصات ظاهری
نام خاص و کميت اثر
ix, 225 p.
ساير جزييات
: ill.
فروست
عنوان فروست
(London Mathematical Society student texts
مشخصه جلد
; 70)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
یادداشتهای مربوط به نمایه ها، چکیده ها و منابع اثر
يادداشت هاي مربوط به نمايه ها، چکيده ها و منابع
Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
First-order logic
موضوع مستند نشده
نخستین دستور منطق
رده بندی کنگره
شماره رده
BC128
نشانه اثر
.
V33
2007
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Veaeaneanen, Jouko, 1950-
مبدا اصلی
کشور
ایران
سازمان
Library of Foreign Languages and Islamic resource
دسترسی و محل الکترونیکی
شماره دسترسي
42
شماره دسترسي
42
شماره دسترسي
41
نام الکترونيکي
42.pdf
نام الکترونيکي
42.pdf
نام الکترونيکي
41.pdf
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
