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: 19
Source/Other editions: Mechanizing prinzipia Logico-Metaphysica in functional type-theory;Cambridge Univ. Press
is version of: 10.1017/S1755020319000297
Language(s): English
DOI: 10.1017/S1755020319000297
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
Release Date: 25. July 2022