Mechanizing prinzipia Logico-Metaphysica in functional type-theory
Author(s): | Kirchner, Daniel ; Benzmüller, Christoph ![]() |
Title of the Journal: | The review of symbolic logic : RSL |
ISSN: | 1755-0211, 1755-0203, |
Publisher Information: | Cambridge : Cambridge Univ. Press |
Year of publication: | 2019 |
Volume: | 13 |
Issue: | 1 |
Pages: | 206-218 |
Language(s): | English |
DOI: | 10.1017/S1755020319000297 |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/54511 |
Release Date: | 12. July 2022 |