Zugriffe | |
---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 846 |
November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | |
---|---|---|---|---|---|---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 25 | 185 | 38 | 37 | 24 | 41 | 5 |
Zugriffe | |
---|---|
dissertation_kirchner.pdf | 571 |
dissertation.pdf | 3 |
ThesisFinal.pdf | 1 |