Zugriffe | |
---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1918 |
April 2025 | Mai 2025 | Juni 2025 | Juli 2025 | August 2025 | September 2025 | Oktober 2025 | |
---|---|---|---|---|---|---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 264 | 28 | 56 | 83 | 41 | 73 | 1 |
Zugriffe | |
---|---|
dissertation_kirchner.pdf | 840 |
dissertation.pdf | 3 |
ThesisFinal.pdf | 1 |