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

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

ویرایش