Matematika, exaktnost a literatúra - Vašák, Pavel (CS, 1986)