عنوان
پدید آورنده
موضوع
رده
BC71 .G37 2013
BC71
.
G37
2013
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
989583
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
What Logics Mean
نام عام مواد
[Book]
ساير اطلاعات عنواني
:From Proof Theory to Model-Theoretic Semantics
نام نخستين پديدآور
/ James W. Garson
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
cambridge; UK
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 2013.
مشخصات ظاهری
نام خاص و کميت اثر
xv, 285 p.
ساير جزييات
: ill
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
یادداشتهای مربوط به نمایه ها، چکیده ها و منابع اثر
يادداشت هاي مربوط به نمايه ها، چکيده ها و منابع
Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic
موضوع مستند نشده
Semantics
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
منطق
موضوع مستند نشده
معنی شناسی
موضوع مستند نشده
منطق ریاضی
رده بندی کنگره
شماره رده
BC71
نشانه اثر
.
G37
2013
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Garson, James W., 1943-
مبدا اصلی
کشور
ایران
سازمان
Library of Foreign Languages and Islamic resource
دسترسی و محل الکترونیکی
شماره دسترسي
42
شماره دسترسي
42
شماره دسترسي
41
نام الکترونيکي
42.pdf
نام الکترونيکي
42.pdf
نام الکترونيکي
41.pdf
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
