Lectures on the Curry-Howard IsomorphismLibro electrónicoLectures on the Curry-Howard IsomorphismdeMorten Heine SørensenCalificación: 0 de 5 estrellas0 calificacionesGuardar Lectures on the Curry-Howard Isomorphism para después
Studies in Logic and the Foundations of MathematicsSerie de libros electrónicosStudies in Logic and the Foundations of MathematicsdeK. KunenGuardar Studies in Logic and the Foundations of Mathematics para después