![]() Sorry, that product is no longer listedWant to list item "Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995"? Click here to list |
![]() Sorry, that product is no longer listedWant to list item "Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995"? Click here to list |