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