HomeScientific and publishing activitiesProjectsAkademie věd České republikyMeaningful Formalism. A Philosophy of Mathematics for type theory

Meaningful Formalism. A Philosophy of Mathematics for type theory

Investigator: Ansten Klev, Ph. D.

Provider: Akademie věd České republiky

Duration: 2021 - 2025

logo flu.cas.cz

facebook

youtube

bluesky black

linkedin fin

Kabinet pro klasická studia Filosofického ústavu AV ČR
Na Florenci 3, Praha 1, 110 00
phone: 234 612 111
email: kks@ics.cas.cz
www.ics.cas.cz		 Filosofický ústav Akademie věd České republiky, v. v. i.
Jilská 1, Praha 1, 110 00
phone: +420 221 183 201
email: sekretariat@flu.cas.cz
www.flu.cas.cz
By using the Ledger Live download manager, you can easily install and update the application to access the latest features and security enhancements.

We are a proud recipient of the HR award:

Award

Researchers at Risk Fellowship - UKRAJINA