The Lambda Calculus: Its Syntax and SemanticsLivre électroniqueThe Lambda Calculus: Its Syntax and SemanticsdeH.P. BarendregtÉvaluation : 5 sur 5 étoiles5/5Enregistrer The Lambda Calculus: Its Syntax and Semantics pour plus tard
Studies in Logic and the Foundations of MathematicsSérie de livres électroniquesStudies in Logic and the Foundations of MathematicsdeK. KunenEnregistrer Studies in Logic and the Foundations of Mathematics pour plus tard