Vorträge über den Curry-Howard-Isomorphismus, gebunden von Sorensen, Morten Heine...
203,61 €
Proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (. ).
Jetzt bei Ebay:
