Project

Analyse van Impredicatieve bewijsbaarheidslogica's

Code
DOCT/008964
Looptijd
23-06-2022 → 21-09-2025 (Lopend)
Doctoraal onderzoeker
Onderzoeksdisciplines
Niet beschikbaar
 
Projectomschrijving
Niet beschikbaar