Книги автора «Morten Heine SA?rensen»

На данной странице предаставлены все книги автора «Morten Heine SA?rensen»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Morten Heine SA?rensen»

Книги

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) (Morten Heine SA?rensen,Pawel Urzyczyn)