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

נוספו 70 בתים ,  לפני 10 שנים
* [[ארנון אברון]], [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)
 
 
[[קטגוריה:לוגיקה מתמטית]]
[[קטגוריה:תגליות והמצאות בארצות הברית]]
 
[[en:Lambda calculus]]