عنوان
پدید آورنده
موضوع
رده
QA9 .B974 2011
QA9
.
B974
2011
کتابخانه
محل استقرار
شابک
شابک
9048160790
شابک
9401599343
شابک
9789048160792
شابک
9789401599344
شماره کتابشناسی ملی
شماره
b596538
عنوان و نام پديدآور
عنوان اصلي
An introduction to mathematical logic and type theory :
نام عام مواد
[Book]
ساير اطلاعات عنواني
to truth through proof
نام نخستين پديدآور
by Peter B. Andrews.
وضعیت ویراست
وضعيت ويراست
2nd ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
(1 v) : ill.
فروست
عنوان فروست
Applied logic series, 27
يادداشت کلی
متن يادداشت
Previous edition: London: Academic, 1986.
یادداشتهای مربوط به مندرجات
متن يادداشت
Preface to the Second Edition. Preface. Introduction. 1. Propositional Calculus. 2. First-Order Logic. 3. Provability and Refutability. 4. Further Topics in First-Order Logic. 5. Type Theory. 6. Formalized Number Theory. 7. Incompleteness and Undecidability. Supplementary Exercises. Summary of Theorems. Bibliography. List of Figures. Index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Type theory.
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
B974
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Peter B. Andrews.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Peter Bruce Andrews
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
