Search results
1 project found matching your search criteria:
-
1. Sequent- and tableau-based proof systems for nonclassical logics
Principal investigator: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 13, Panel: HS1