3 projects found matching your search criteria :
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Higher-order logic and absoluteness phenomena in set theory
Call: SONATA 19 , Panel: HS1
Principal investigator: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
Extensional Ontology and Philosophical Logic
Call: OPUS 2 , Panel: HS1
Principal investigator: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie