תחשיב למדא – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ r2.7.1) (בוט משנה: vi:Phép tính lambda |
החובץ בגבינה (שיחה | תרומות) |
||
שורה 68:
== לקריאה נוספת ==
* [[ארנון אברון]], [http://www.cs.tau.ac.il/~odedr/book_discrete_math/bdida_all.pdf '''מבוא למתמטיקה בדידה'''], הוצאת [[אוניברסיטת תל אביב]]
* '''The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103).''' Revised Edition H.P. Barendregt, Publisher: North Holland; Revised edition (November 15, 1985)
| |||