Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Gödel Logiken: Prenexe Fragmente
01.06.2023 - 31.05.2026
Forschungsförderungsprojekt
Personen
Projektleiter_in
Matthias Baaz
(E104-02)
Institut
E104-02 - Forschungsbereich Computational Logic
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Fundamental Mathematics Research: 100%
Publikationen
Publikationsliste