The Lambda Calculus: Its Syntax and SemanticsЭлектронная книгаThe Lambda Calculus: Its Syntax and SemanticsавтораH.P. BarendregtРейтинг: 5 из 5 звезд5/5Сохранить The Lambda Calculus: Its Syntax and Semantics на потом
Studies in Logic and the Foundations of MathematicsСерия электронных книгStudies in Logic and the Foundations of MathematicsавтораK. KunenСохранить Studies in Logic and the Foundations of Mathematics на потом