Поиск
На сайте: 567987 статей, 285487 фото.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (книга)

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Автор: Giovanni Sambin
Оригинал издан: ????

«Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995»книга ???? года.

Содержание

Содержание

От издателя

«Per Martin-Lof's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable…»

Рецензии

См. также

Ссылки