Lectures on the Curry-Howard IsomorphismE-bookLectures on the Curry-Howard IsomorphismdiMorten Heine SørensenValutazione: 0 su 5 stelle0 valutazioniSalva Lectures on the Curry-Howard Isomorphism per dopo
Studies in Logic and the Foundations of MathematicsSerie di e-bookStudies in Logic and the Foundations of MathematicsdiK. KunenSalva Studies in Logic and the Foundations of Mathematics per dopo