1 projects found matching your search criteria :
Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics
Call: SONATINA 2 , Panel: HS1
Principal investigator: Paweł Pawłowski
Uniwersytet Gdański, Wydział Nauk Społecznych