Lectures on the Curry-Howard IsomorphismLivre électroniqueLectures on the Curry-Howard IsomorphismdeMorten Heine SørensenÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Lectures on the Curry-Howard Isomorphism 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