Galerie | Bolzanovu medaili AV ČR dostane matematik Buss, proslul teorií omezené aritmetiky