Treatise on Intuitionistic Type Theory (Logic,

2014-01-24 分类：计算机、互联网

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science) (English, German, Latin and Greek Edition)

Hardcover: 220 pages

Publisher: Springer (June 3, 2011)

Language: English

ISBN-10: 9400717350

代发服务PDF电子书10元立即求助

1111

 打赏