دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز r2.7.1) (ربات افزودن: ar, sr اصلاح: ru, zh |
|||
خط ۱۳:
[[رده:روشهای صوری]]
[[ar:نظام شكلي]]
[[ca:Sistema formal]]
[[de:Formales System]]
سطر ۲۵ ⟵ ۲۶:
[[pt:Sistema formal]]
[[ro:Sistem axiomatic]]
[[ru:Формальная система]]
[[sq:Sistemi formal]]
[[sr:Логички систем]]
[[sv:Formellt system]]
[[uk:Формальна система]]
[[zh:
|