On the Computational Interpretation of Intermediate Logics


Project Acronym Projekt Kurzbezeichnung
CILL
 
Project Title (de) Projekttitel (de)
On the Computational Interpretation of Intermediate Logics
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in