1 projects found matching your search criteria :
Equivalence in Substructural Logics
Call: OPUS 23 , Panel: HS1
Principal investigator: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny