1 projects found matching your search criteria :
80 years of investigations on natural deduction and sequent calculi
Call: OPUS 2 , Panel: HS1
Principal investigator: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny