دانلود کتاب A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
دسته: منطق
کتاب اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی نسخه زبان اصلی
دانلود کتاب اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
نام کتاب : A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
عنوان ترجمه شده به فارسی : اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی
سری : Oxford Texts in Logic
نویسندگان : Shawn Hedman
ناشر : Oxford University Press, USA
سال نشر : 2004
تعداد صفحات : 452
ISBN (شابک) : 9780198529811 , 9780198529804
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.