نظریه نوعها: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات افزودن: ar:نظرية النمط |
جز ربات اصلاح: eo:Teorio de tipoj |
||
خط ۱۸:
[[de:Typentheorie]]
[[en:Type theory]]
[[eo:
[[fr:Théorie des types]]
[[he:טיפוס (לוגיקה מתמטית)]]
| |||