Tytuł projektu: Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Instytucja: Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Miasto: Łódź
Województwo: łódzkie
Kierownik projektu: prof. Andrzej Bogusław Indrzejczak
Panel: HS1 (obszar: HS)
Liczba wykonawców: 3
Finansowanie: 364680 PLN
Okres realizacji: 2018-01-15 00:00:00 – 2023-01-14 00:00:00 (60 miesięcy)