Nie jesteś zalogowany |
Powrót do listy grantów
Indukcja dla formuł ograniczonych i jej relatywizacje
- 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
