@phdthesis{Kirchner2022,
author = {Kirchner, Daniel},
year = {2022},
title = {Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL},
type = {Dissertation},
url = "http://dx.doi.org/10.17169/refubium-35141",
}