History and Philosophy of Logic. 2009;30(3):305-306. doi: 10.1080/01445340802442021 N/A0.52025

Information and Knowledge: A Constructive Type-Theoretical Approach

DOI: 10.1080/01445340802442021

摘要 查看摘要

Copyright © History and Philosophy of Logic. 中文内容为AI机器翻译，仅供参考！