قضایای ناتمامیت گودل: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: تغییر ردهٔ تغییرمسیردادهشدهٔ شناختشناسی به معرفتشناسی |
|||
خط ۴۴:
{{چپچین}}
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
{{پایان چپچین}}
<UL/>
|