Search Results - "foundations of mathematics"
-
1
Lectures on the Curry-Howard isomorphism
Published 2006“…Studies in logic and the foundations of mathematics ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook