Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) - ISBN:0198501277 - Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides).rar - Download Links - Free eBooks Download! eBooks,Magazines,Torrent.

Advertising

Sponsored link: