نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Recursive functions and metamathematics :
پدید آورنده
Roman Murawski.
موضوع
Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
رده
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
9048152984
شابک
9789048152988
شماره کتابشناسی ملی
شماره
b539000
عنوان و نام پديدآور
عنوان اصلي
Recursive functions and metamathematics :
نام عام مواد
[Book]
ساير اطلاعات عنواني
problems of completeness and decidability, Gödel's theorems
نام نخستين پديدآور
Roman Murawski.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
1 volume ; 24 cm
فروست
عنوان فروست
Synthese library, v. 286
يادداشت کلی
متن يادداشت
Originally published: 1999.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Funkcje rekurencyjne i elementy metamatematyki.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Decidability (Mathematical logic)
موضوع مستند نشده
Gödel's theorem.
موضوع مستند نشده
Recursive functions.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Roman Murawski.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Roman Murawski
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد