Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości
Kierownik: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
Konkurs: SONATA 19, panel: HS1
-
2. Ontologia ekstensjonalna i logika filozoficzna
Kierownik: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Konkurs: OPUS 2, panel: HS1
-
3. Miary złożoności strukturalnej dla teorii podstaw matematyki
Kierownik: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Konkurs: WEAVE-UNISONO, panel: HS1