The lambda calculus : its syntax and semantics /

• Main Author: Barendregt, H. P. (Hendrik Pieter) (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : Elsevier, 1984 [4th impression 1998].
• Edition: Rev. ed.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: xv, 621 σ. : εικ.; 23 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0444875085