Nie jesteś zalogowany | Zaloguj się

Kierownik: dr hab. Leszek Kołodziejczyk
Numer umowy: 2013/09/B/ST1/04390
Data rozpoczęcia: 19 lutego 2014
Data zakończenia: 18 lutego 2017
Finansowany przez: Narodowe Centrum Nauki
Wykonawcy: prof. dr hab. Zofia Adamowicz
Słowa kluczowe: arytmetyka pierwszego rzędu, indukcja ograniczona, relatywizacja, przybliżone zliczanie, słaba zasada szufladkowa, definicje prawdy

Indukcja dla formuł ograniczonych i jej relatywizacje