В 1831 году Чарльз Бэббидж издал 21-томные таблицы логарифмов, причём каждый том печатался различным шрифтом на бумаге разной толщины и цвета. Для чего он использовал такую печать?