Konstruktive Beweisbarkeitslogik

20.08.2002 - 19.02.2004
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

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

Schlagwörter

DeutschEnglisch
BeweisbarkeitslogikProvability Logic
Konstruktive Logikconstructive logic
Grundlagenforschungbasic research

Publikationen