Meaningful Formalism. A Philosophy of Mathematics for type theory

            Řešitel:
            Ansten Klev, Ph. D.
        
            Postytovatel:
            Akademie věd České republiky
        
            Trvání:
            2021 - 2025