Lectures on the Curry-Howard IsomorphismEbookLectures on the Curry-Howard IsomorphismbyMorten Heine SørensenRating: 0 out of 5 stars0 ratingsSave Lectures on the Curry-Howard Isomorphism for later
Studies in Logic and the Foundations of MathematicsEbook seriesStudies in Logic and the Foundations of MathematicsbyK. KunenSave Studies in Logic and the Foundations of Mathematics for later