Mechanizing prinzipia Logico-Metaphysica in functional type-theory
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. (2019): Mechanizing prinzipia Logico-Metaphysica in functional type-theory, in: The review of symbolic logic : RSL, Cambridge: Cambridge Univ. Press, Jg. 13, Nr. 1, S. 206–218, doi: 10.1017/S1755020319000297.
Author:
 ;  ; 
Title of the Journal:
The review of symbolic logic : RSL
ISSN:
1755-0211
1755-0203
1755-0211
Publisher Information:
Year of publication:
2019
Volume:
13
Issue:
1
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
July 12, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/54511