| Zugriffe | |
|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1844 |
| Februar 2025 | März 2025 | April 2025 | Mai 2025 | Juni 2025 | Juli 2025 | August 2025 | |
|---|---|---|---|---|---|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 42 | 52 | 264 | 28 | 56 | 83 | 41 |
| Zugriffe | |
|---|---|
| dissertation_kirchner.pdf | 766 |
| dissertation.pdf | 3 |
| ThesisFinal.pdf | 1 |
