Lectures on the Curry-Howard IsomorphismCărți electroniceLectures on the Curry-Howard IsomorphismdinMorten Heine SørensenEvaluare: 0 din 5 stele0 evaluăriSalvați Lectures on the Curry-Howard Isomorphism pentru mai târziu
Studies in Logic and the Foundations of MathematicsSerii de cărți electroniceStudies in Logic and the Foundations of MathematicsdinK. KunenSalvați Studies in Logic and the Foundations of Mathematics pentru mai târziu