Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Konstruktive Beweisbarkeitslogik
20.08.2002 - 19.02.2004
Forschungsförderungsprojekt
Personen
Projektleiter_in
Rosalie Iemhoff
(E104)
Institut
E104 - Institut für Diskrete Mathematik und Geometrie
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
Deutsch
Englisch
Beweisbarkeitslogik
Provability Logic
Konstruktive Logik
constructive logic
Grundlagenforschung
basic research
Publikationen
Publikationsliste