Lectures on the Curry-Howard IsomorphismeBookLectures on the Curry-Howard IsomorphismvonMorten Heine SørensenBewertung: 0 von 5 Sternen0 BewertungenLectures on the Curry-Howard Isomorphism für später speichern
Studies in Logic and the Foundations of MathematicseBook-ReihenStudies in Logic and the Foundations of MathematicsvonK. KunenStudies in Logic and the Foundations of Mathematics für später speichern