| Zugriffe | |
|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1131 |
| Mai 2024 | Juni 2024 | Juli 2024 | August 2024 | September 2024 | Oktober 2024 | November 2024 | |
|---|---|---|---|---|---|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 40 | 35 | 43 | 44 | 60 | 50 | 18 |
| Zugriffe | |
|---|---|
| dissertation_kirchner.pdf | 646 |
| dissertation.pdf | 3 |
| ThesisFinal.pdf | 1 |
