Statistics

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

Statistics

Total visits of the metadata page since approval or since June 2018

Views
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL3329

Total visits per month

January 2026February 2026March 2026April 2026May 2026June 2026July 2026
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL754970127805548

File visits since approval or since June 2018

Views
dissertation_kirchner.pdf1174
dissertation.pdf3
ThesisFinal.pdf1