Proof theory : the first step into impredicativity - Pohlers, Wolfram (Berlin : Springer Verlag, 2009)
Bibliografia: s. 357-361; register: s. 363-370
Keywords: teória množín; ordinálne čisla; monografie