Treatise on Intuitionistic Type Theory

Saved in:

書目詳細資料
主要作者:	Granstrm, Johan Georg
企業作者:	SpringerLink (Online service)
格式:	電子電子書
語言:	英语
出版:	Dordrecht : Springer Netherlands, 2011.
叢編:	Logic, Epistemology, and the Unity of Science ; 22
主題:	Philosophy (General). Genetic epistemology. Logic. Logic design. Algorithms. Logic, Symbolic and mathematical. Philosophy. Epistemology. Mathematical Logic and Foundations. Logics and Meanings of Programs. History of Philosophy.
在線閱讀:	http://dx.doi.org/10.1007/978-94-007-1736-7
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍: Treatise on Intuitionistic Type Theory