Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Metateoria systemów tablicowych
Konkurs: OPUS 10 , panel: HS1
Kierownik: dr hab. Tomasz Dariusz Jarmużek
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
-
Logiki pozycyjne - metateoria i zastosowania
Konkurs: SONATA BIS 1 , panel: HS1
Kierownik: dr hab. Marcin Tkaczyk
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II