Начало см. здесь.

Кнут Д.
Искусство программирования для ЭВМ.

Том 1. Основные алгоритмы. 3-е изд., 2001, cc. 431 — .

О десятичной системе обозначений Дьюи см. здесь.

Об использовании леммы Кенига при доказательстве фундаментальной теоремы К. Геделя о полноте исчисления предикатов см. здесь.

О роли конечных и бесконечных деревьев в теоретических обоснованиях Пролога см. здесь.

Указанную теорему Больцано - Вейерштрасса можно найти, например, в Главе VI книги
И. В. Арнольда. Ее оглавление и введение к ней см. здесь.

Общий Раздел о непрерывности и иррациональных числах см. здесь.