תורת הטיפוסים – הבדלי גרסאות

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