ph d sørensen m sc

Grid   List

  1. Ebook
    Sofort lieferbar
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal ...
    131,00 €
    Alle Preise inkl. MwSt
  1. 1
<%--for search--%>