Treatise on Intuitionistic Type Theory

保存先:

書誌詳細
第一著者:	Granstrm, Johan Georg
団体著者:	SpringerLink (Online service)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	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