Lectures on the Curry-Howard IsomorphismeBookLectures on the Curry-Howard IsomorphismkaryaMorten Heine SørensenPenilaian: 0 dari 5 bintang0 penilaianSimpan Lectures on the Curry-Howard Isomorphism untuk nanti
Studies in Logic and the Foundations of MathematicsSeri eBookStudies in Logic and the Foundations of MathematicskaryaK. KunenSimpan Studies in Logic and the Foundations of Mathematics untuk nanti