دستگاه صوری: تفاوت میان نسخه‌ها

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