عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
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
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح