Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Kierownik: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 13, panel: HS1
-
2. 80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi
Kierownik: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
Konkurs: OPUS 2, panel: HS1