Search Results - "foundations of mathematics"

Suggested Topics within your search.
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism by Sørensen, Morten Heine

    Published 2006
    “…Studies in logic and the foundations of mathematics ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:

Search Tools: