Lectures on the Curry-Howard IsomorphismE-bookLectures on the Curry-Howard IsomorphismdeMorten Heine SørensenNota: 0 de 5 estrelas0 notasSalve Lectures on the Curry-Howard Isomorphism para mais tarde
Studies in Logic and the Foundations of MathematicsSeries de e-bookStudies in Logic and the Foundations of MathematicsdeK. KunenSalve Studies in Logic and the Foundations of Mathematics para mais tarde