תורת הטיפוסים – הבדלי גרסאות
Matanyabot (שיחה | תרומות) מ בוט החלפות: על ידי |
מ Gilgamesh העביר את הדף טיפוס (לוגיקה מתמטית) ל־תורת הטיפוסים תוך דריסת הפניה: לפי דף שיחה |
||
(אין הבדלים)
|
מ בוט החלפות: על ידי |
מ Gilgamesh העביר את הדף טיפוס (לוגיקה מתמטית) ל־תורת הטיפוסים תוך דריסת הפניה: לפי דף שיחה |
||
(אין הבדלים)
|