Co víme o přirodzených číslech. - Sedláček, J. (1961)
Záznam revízie