Akademie věd ČR
Meaningful Formalism. A Philosophy of Mathematics for type theory
Řešitel:Investigator:Ansten Klev, Ph. D.
Poskytovatel:Provider:Akademie věd České republiky
Projekt:Project:Prémie Lumina quaeruntur
Trvání:Duration:2021 - 2025
Interdisciplinary Research Lab for Bioethics
Řešitel:Investigator:Geoffrey Dierckxens, Ph.D.
Poskytovatel:Provider:Akademie věd České republiky
Projekt:Project:Prémie Lumina quaeruntur
Trvání:Duration:2020-2024
