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

جز
ربات ردهٔ همسنگ (۲۲) +مرتب+تمیز(۲.۷): + رده:فرامنطق
جز (r2.7.3) (ربات: افزودن ky:Аксиоматикалык метод)
جز (ربات ردهٔ همسنگ (۲۲) +مرتب+تمیز(۲.۷): + رده:فرامنطق)
 
== منابع ==
{{پانویس}}
{{چپ‌چین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
{{پایان چپ‌چین}}
 
{{علوم سامانه‌ها}}
 
[[رده:روش‌های صوری]]
[[رده:زبان‌های صوری]]
[[رده:فرامنطق]]
[[رده:منطق ریاضی]]
 
۹۸٬۹۰۸

ویرایش