عنوان
پدید آورنده
موضوع
رده
QA9 .A638
QA9
.
A638
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
324395
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
An introduction to mathematical logic and type theory. to truth through proof
نام عام مواد
[Book]
نام نخستين پديدآور
/ Peter B. Andrews
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Orlando
نام ناشر، پخش کننده و غيره
: Academic Press
تاریخ نشرو بخش و غیره
,1986.
مشخصات ظاهری
نام خاص و کميت اثر
xv, 304 p.
ساير جزييات
: 24 cm.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes index.
متن يادداشت
Bibliography: p. 293-295.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Type theory
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
A638
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Andrews, P. B.(Peter Bruce),1937-
مبدا اصلی
کشور
ایران
سازمان
Central Library of the University of Kurdistan
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
