The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised EditionHendrik Pieter BarendregtAgotado4,3Notifícame
