عنوان
پدید آورنده
موضوع
رده
QA9 .M4 2010
QA9
.
M4
2010
کتابخانه
محل استقرار
شابک
شابک
1584888768
شابک
9781584888765
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Introduction to mathematical logic /
نام عام مواد
[Book]
نام نخستين پديدآور
Elliott Mendelson
وضعیت ویراست
وضعيت ويراست
5th ed
مشخصات ظاهری
نام خاص و کميت اثر
xxiv, 469 pages :
ساير جزييات
illustrations ;
ابعاد
25 cm
فروست
عنوان فروست
Discrete mathematics and its applications
يادداشت کلی
متن يادداشت
"A Chapman and Hall book."
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به مندرجات
متن يادداشت
The propositional calculus -- First-order logic and model theory -- Formal number theory -- Axiomatic set theory -- Computability -- Appendix A: Second-order logic -- Appendix B: First steps in modal propositional logic
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--BOOK JACKET
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی ديویی
شماره
511
.
3
ويراست
22
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
M4
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Mendelson, Elliott
مبدا اصلی
تاريخ عمليات
20100308020732.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
