شابک
شابک
9780387302942 (acid-free paper)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53147
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
A concise introduction to mathematical logic
نام عام مواد
[Book]
نام نخستين پديدآور
/ Wolfgang Rautenberg
وضعیت ویراست
وضعيت ويراست
2nd ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, 2006.
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 256 p. , ill. , 24 cm.
فروست
عنوان فروست
(Universitext)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 241-246) and indexes.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Propositional logic -- 2. Predicate logic -- 3. Godel's completeness theorem -- 4. foundations of logic programming -- 5. Elements of model theory -- 6. Incompleteness and undecidability -- 7. On the theory of self-reference.
عنوان قراردادی
مستند تایید نشده
[EinfouAسuhrung in die mathematische Logik. English]
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Electronic books. , local
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Rautenberg, Wolfgang.
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
9780387302942.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
9780387302942.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
