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 books found
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Lectures on the Curry-Howard Isomorphism (Studies in Logic …
By: Morten Heine Sorensen, Pawel Urzyczyn
View Details