عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدید آورنده
Mostowski, Andrzej.
موضوع
، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده
QA
9
.
65
.
M68
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Amsterdam
North-Holland Pub. Co.
1952
117 p. 23 cm
Studies in logic and the foundations of mathematics
Bibliography: p. 116-117
Includes bibliography
Andrzej Mostowski
1
، Logic, Symbolic and mathematical
، Semantics )Philosophy(
، Godel's theorem
QA
9
.
65
.
M68
CA
164
Mostowski, Andrzej.
AU
TI
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح