תורת הטיפוסים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Luckas-bot (שיחה | תרומות) מ r2.7.1) (בוט מוסיף: el:Θεωρία τύπων |
|||
שורה 10:
[[ar:نظرية النمط]]
[[de:Typentheorie]]
[[el:Θεωρία τύπων]]
[[eo:Teorio de tipoj]]
[[es:Teoría de tipos]]
|
מ r2.7.1) (בוט מוסיף: el:Θεωρία τύπων |
|||
שורה 10:
[[ar:نظرية النمط]]
[[de:Typentheorie]]
[[el:Θεωρία τύπων]]
[[eo:Teorio de tipoj]]
[[es:Teoría de tipos]]
|