Mechanizing prinzipia Logico-Metaphysica in functional type-theory





Author(s): Kirchner, Daniel ; Benzmüller, Christoph  ; Zalta, Edward N.
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