电子书百科大全 Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science) (English, German, Latin and Greek Edition)
Get this book Contact Email: girro@qq.com
Hardcover: 220 pages
Publisher: Springer (June 3, 2011)
Language: English
ISBN-10: 9400717350
未经允许不得转载：电子书百科大全 » Treatise on Intuitionistic Type Theory (Logic,