תחשיב למדא – הבדלי גרסאות

נוספו 66 בתים ,  לפני 12 שנים
←‏לקריאה נוספת: נוסף קישור לספרו של ארנון אברון המופץ ברישיון CC
(בעקבות דבריו של תום פלג בדף שיחתי)
(←‏לקריאה נוספת: נוסף קישור לספרו של ארנון אברון המופץ ברישיון CC)
== לקריאה נוספת ==
 
* ארנון אברון, [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)
 
משתמש אלמוני