Search: J50
2020
[1]Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In Review of Symbolic Logic, Cambridge University Press, volume 13, number 1, pp. 206-218, 2020. (Preprint: https://www.researchgate.net/publication/321160582) [bibtex] [doi]