Auflistung Dissertationen FU nach Schlagwort "abstract object theory"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Dissertationen FU nach Schlagwort "abstract object theory"

Dokument
Erscheinungsdatum
DissertationComputer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOLKirchner, Daniel
2022