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