Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

2011/03/B/HS1/04366

Słowa kluczowe:

logika teoria dowodu dedukcja naturalna rachunki sekwentowe

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Indrzejczak 

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