2011/03/B/HS1/04366
Słowa kluczowe:
logika teoria dowodu dedukcja naturalna rachunki sekwentowe
Deskryptory:
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny
woj. łódzkie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 1
Konkurs: OPUS 2 - ogłoszony 2011-09-15
Przyznana kwota: 106 530 PLN
Rozpoczęcie projektu: 2012-08-01
Zakończenie projektu: 2014-12-06
Planowany czas trwania projektu: 28 miesięcy (z wniosku)
Status projektu: Projekt rozliczony