Konstruktive Beweisbarkeitslogik

20.08.2002 - 19.02.2004
Research funding project

People

Project leader

Institute

Förderungmittel

  • European Commission (EU) 6.RP: Humanressourcen und Mobilität (Marie-Curie- Maßnahmen) 6.Rahmenprogramm für Forschung Europäische Kommission - Rahmenprogamme Europäische Kommission Antragsnummer 10383

Keywords

GermanEnglish
BeweisbarkeitslogikProvability Logic
Konstruktive Logikconstructive logic
Grundlagenforschungbasic research

Publications