شابک
شابک
0122384520 (acid-free paper)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53286
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
A mathematical introduction to logic
نام عام مواد
[Book]
نام نخستين پديدآور
/ Herbert B. Enderton
وضعیت ویراست
وضعيت ويراست
2nd ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
San Diego
نام ناشر، پخش کننده و غيره
: Harcourt/Academic Press,
تاریخ نشرو بخش و غیره
, c2001.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 317 p. , ill. , 24 cm.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 307-308) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
g4.1. tSecond-Order Languages. g4.2. tSkolem Functions. g4.3. tMany-Sorted Logic. g4.4. tGeneral Structures. 9 bnatoc
متن يادداشت
Useful Facts about Sets -- Ch. 1. Sentential Logic. 1.0. Informal Remarks on Formal Languages. 1.1. The Language of Sentential Logic. 1.2. Truth Assignments. 1.3. A Parsing Algorithm. 1.4. Induction and Recursion. 1.5. Sentential Connectives. 1.6. Switching Circuits. 1.7. Compactness and Effectiveness -- Ch. 2. First-Order Logic. 2.0. Preliminary Remarks. 2.1. First-Order Languages. 2.2. Truth and Models. 2.3. A Parsing Algorithm. 2.4. A Deductive Calculus. 2.5. Soundness and Completeness Theorems. 2.6. Models of Theories. 2.7. Interpretations Between Theories. 2.8. Nonstandard Analysis -- Ch. 3. Undecidability. 3.0. Number Theory. 3.1. Natural Numbers with Successor. 3.2. Other Reducts of Number Theory. 3.3. A Subtheory of Number Theory. 3.4. Arithmetization of Syntax. 3.5. Incompleteness and Undecidability. 3.6. Recursive Functions. 3.7. Second Incompleteness Theorem. 3.8. Representing Exponentiation -- Ch. 4. Second-Order Logic. 9 bnatoc
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Enderton, Herbert B.
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
0122384520.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
0122384520.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
