Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference26 articles.
1. Ahrens, B., Kapulkin, C. & Shulman, M. (2013). Univalent categories and the Rezk completion. Retrieved from
http://arxiv.org/abs/1303.0584
.
2. Awodey, Steve (2010). Type theory and homotopy. Retrieved from
http://arxiv.org/abs/1010.1810
.
3. Awodey, S., & Reck, E. H. (2002a). Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic. History and Philosophy of Logic, 23(1), 1–30.
4. Awodey, S., & Reck, E. H. (2002b). Completeness and categoricity. Part II: twentieth-century metalogic to twenty-first-century semantics. History and Philosophy of Logic, 23(2), 77–94.
5. Avron, A. (2003). Transitive closure and the mechanization of mathematics. In F. Kamareddine (Ed.), Thirty five years of automating mathematics (pp. 149–171). Dordrecht: Kluwer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献