Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths

Autor(es)
Christoph Benzmüller
Créditos
Data
PUBLICAÇÕES / PUBLICATIONS
CLE"