Tytuł projektu: 80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi
Instytucja: Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
Miasto: Łódź
Województwo: łódzkie
Kierownik projektu: prof. Andrzej Indrzejczak
Panel: HS1 (obszar: HS)
Liczba wykonawców: 1
Finansowanie: 106530 PLN
Okres realizacji: 2012-08-07 00:00:00 – 2014-12-06 00:00:00 (28 miesięcy)