Бернард Больцано - Кольман Э. (АН СССР, 1955)