| Zugriffe | |
|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 3147 |
| November 2025 | Dezember 2025 | Januar 2026 | Februar 2026 | März 2026 | April 2026 | Mai 2026 | |
|---|---|---|---|---|---|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 789 | 63 | 75 | 49 | 70 | 127 | 1 |
| Zugriffe | |
|---|---|
| dissertation_kirchner.pdf | 1101 |
| dissertation.pdf | 3 |
| ThesisFinal.pdf | 1 |
