Projects funded by the NCN

Search results

2 projects found matching your search criteria :

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

  1. 80 years of investigations on natural deduction and sequent calculi

    Call: OPUS 2 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  2. Sequent- and tableau-based proof systems for nonclassical logics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy