1 projects found matching your search criteria :
Relation based semantics: axiomatic and tableaux proof-calculi
Call: OPUS 26 , Panel: HS1
Principal investigator: dr hab. Tomasz Jarmużek
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych