Home / Publishers / Studies in Logic and the Foundations of Mathematics

Books by Publisher: Studies in Logic and the Foundations of Mathematics

All books from this publisher

1 book found ← Back to Search
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
🇩🇪 Germany
Lectures on the Curry-Howard Isomorphism (Studies in Logic …
By: Morten Heine Sorensen, Pawel Urzyczyn
View Details