The lambda calculus : its syntax and semantics /

• Κύριος συγγραφέας: Barendregt, H. P. (Hendrik Pieter) (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : Elsevier, 1984.
• Έκδοση: Rev. ed.
• Σειρά: Studies in logic and the foundations of mathematics 103.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xv, 621 σ. ; 23 εκ.
• ISBN: 0444875085