Книги автора «Giovanni Sambin»

На данной странице предаставлены все книги автора «Giovanni Sambin»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Giovanni Sambin»

Книги

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) (Giovanni Sambin)