Znaleziono 1 projektów spełniających kryteria wyszukiwania:
80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi
Konkurs: OPUS 2 , panel: HS1
Kierownik: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny