"Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 " - читать интересную книгу автора (Giovanni Sambin, Jan M. Smith)