Leszek Kołodziejczyk

Model-theoretic proofs of unprovability theorems in bounded arithrnetic (Model-theoretic proofs of unprovability theorems in bounded arithrnetic)

Afiliacja

Uniwersytet Warszawski

W zakresie

matematyki

Status

Przyznana

Data nadania

15 maja 2014

Recenzenci

prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Bogdan Węglorz (Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie); prof. dr hab. Damian Niwiński (Uniwersytet Warszawski)