Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL





Faculty/Professorship: AI Systems Engineering 
Author(s): Kirchner, Daniel
Corporate Body: Freie Universität Berlin, Fachbereich Mathematik und Informatik
Publisher Information: Berlin : Refubium - Repositorium der Freien Universität Berlin
Year of publication: 2022
Pages: v, 527 ; Illustrationen
Supervisor(s): Benzmüller, Christoph  ; Leitgeb, Hannes; Zalta, Edward N.
Language(s): English
Remark: 
Dissertation, Freie Universität Berlin, 2022
DOI: 10.17169/refubium-35141
URL: https://refubium.fu-berlin.de/handle/fub188/35426
URN: urn:nbn:de:kobv:188-refubium-35426-3
Type: Doctoralthesis
URI: https://fis.uni-bamberg.de/handle/uniba/57511
Release Date: 10. January 2023