دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۵:
* [[قضایای عدم تمامیت گدل]]
* [[علوم صوری]]
==منابع==
{{چپچین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN: ۰-۳۸۷-۹۶۱۷۰-۴
{{پایان چپچین}}
[[رده:روشهای صوری]]
|