Constructive Provability Logic

20.08.2002 - 19.02.2004
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • European Commission (EU) 6.FP: MOBILITY - Human resources and mobility Marie-Curie Grants 6.Rahmenprogramm für Forschung European Commission - Framework Programme European Commission Application number 10383

Schlagwörter

DeutschEnglisch
BeweisbarkeitslogikProvability Logic
Konstruktive Logikconstructive logic
Grundlagenforschungbasic research

Publikationen