Twenty Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides Book 36) 1st Edition

14.04 MiB

Download ready in 3s