نظریه نوعها: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
صفحهٔ جدید: '''نظریه نوعها''' شاخهای از منطق، دانش رایانه و فلسفه است که به شناخت [[سیستم منطقی|سیستم... |
جز ربات افزودن: en:Type theory |
||
خط ۱۶:
[[de:Typentheorie]]
[[en:Type theory]]
[[eo:Tipa teorio]]
[[fr:Théorie des types]]
[[it:Teoria dei tipi]]▼
[[he:טיפוס (לוגיקה מתמטית)]]
▲[[it:Teoria dei tipi]]
[[ja:型理論]]
[[pt:Teoria dos tipos]]
| |||