%0 Journal Article %1 journals/rsl/KirchnerBZ20 %A Kirchner, Daniel %A Benzmüller, Christoph %A Zalta, Edward N. %D 2020 %J Rev. Symb. Log. %K dblp %N 1 %P 206-218 %T Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. %U http://dblp.uni-trier.de/db/journals/rsl/rsl13.html#KirchnerBZ20 %V 13

@article{journals/rsl/KirchnerBZ20, added-at = {2023-08-06T00:00:00.000+0200}, author = {Kirchner, Daniel and Benzmüller, Christoph and Zalta, Edward N.}, biburl = {https://www.bibsonomy.org/bibtex/2340ee8a4d082ef898e01f5c791cb5e57/dblp}, ee = {https://doi.org/10.1017/S1755020319000297}, interhash = {a119ce94316e6ae76a7d45233bc649fb}, intrahash = {340ee8a4d082ef898e01f5c791cb5e57}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 1, pages = {206-218}, timestamp = {2024-04-09T04:53:16.000+0200}, title = {Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl13.html#KirchnerBZ20}, volume = 13, year = 2020 }