Kirchner, DanielDanielKirchner0000-0001-9229-11482023-01-102023-01-102022https://fis.uni-bamberg.de/handle/uniba/57511Dissertation, Freie Universität Berlin, 2022engComputer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOLdoctoralthesis10.17169/refubium-35141https://refubium.fu-berlin.de/handle/fub188/35426urn:nbn:de:kobv:188-refubium-35426-3