Бернард Больцано - Кольман, Эрнест Яромирович 1892-1979 (Издательство Академии наук СССР, 1955)