قضایای ناتمامیت گودل: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ←قضیه اول ناتمامیت گودل: اصلاح متن با استفاده از AWB |
جز ربات:زیباسازی+شابک+تمیز (۱۰.۵) |
||
خط ۴۶:
<LI>
{{چپچین}}
* Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New York Inc., ۱۹۸۴. ISBN
* Mendelson, E. "Introduction to Mathematical Logic", forth edition, 1997, london, Chapman & Hall
{{پایان چپچین}}
خط ۵۳:
{{منطق}}
{{دانش محاسبهپذیر}}
{{ریاضی-خرد}}
| |||