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

Faculty/Chair:

Author:

Corporate Body:

Freie Universität Berlin, Fachbereich Mathematik und Informatik

Publisher Information:

Berlin : Refubium - Repositorium der Freien Universität Berlin

Year of publication:

2022

Pages:

v, 527 ; Illustrationen

Supervisor:

;

;

Language:

English

Remark:

Dissertation, Freie Universität Berlin, 2022

DOI:

URL:

URN:

Type:

Doctoralthesis

URI:

Activation date:

January 10, 2023

Permalink https://fis.uni-bamberg.de/handle/uniba/57511