The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought

Informations projet

FORMALISM

N° de convention de subvention: 101044114

DOI 10.3030/101044114

Date de signature de la CE 16 Août 2022

Date de début 1 Septembre 2022

Date de fin 31 Août 2027

Financé au titre de

• European Research Council (ERC)

Coût total € 1 987 840,00

Contribution de l’UE € 1 987 840,00

Coordonné par

UNIVERSITAT WIEN
Austria

Publications

Peer reviewed articles (1)

Structuralism and informal provability

Auteurs: Georg Schiemer, John Wigglesworth
Publié dans: SPRINGER, 2023, ISSN 0039-7857
Éditeur: SPRINGER
DOI: 10.1007/s11229-023-04274-4