М. С. Строгович, Логика. Госполитиздат, 1949. В. Ф. Асмус, Логика, 1947.

Н. В. Таванец, Суждение и его виды. Изд-во Академии наук СССР, 1953.

Ж. Адамар, Элементарная геометрия. Учпедгиз, 1948. Вопрос о доказательстве разобран в «Прибавлении».

Д. Гильберт, Основание геометрии. ОГИЗ, 1948. Вопрос о сущности аксиоматического метода рассматривается в вводной статье П. К. Рашевского.

Я. С. Дубнов, Ошибки в геометрических доказательствах. Гостехиздат, 1953. В книге приведено много примеров ошибочных доказательств и разобраны различные ошибки.

И. С. Градштейн, Прямая и обратная теоремы. Гостехиздат, 1950. Книга посвящена вопросу о соотношениях между прямой и обратной теоремами.

3) Сборники упражнений и задач, содержащие задачи на доказательство:

Много интересных задач на доказательство содержится в уже упомянутом курсе геометрии Ж. Адамара. Задачи снабжены подробными решениями проф. Д. И. Перепелкина.

Д. О. Шклярский, Н. Н. Ченцов, И. М. Яглом, Избранные задачи и теоремы элементарной математики, ч. 2, Геометрия. Гостехиздат, 1952.

Е. Б. Дынкин и В. А. Успенский, Математические беседы. Гостехиздат, 1952.

Б. Н. Делоне и О. К. Житомирский, Задачник по геометрии. Гостехиздат, 1951.

Б. Н. Делоне, О. К. Житомирский, А. И. Фетисов, Сборник геометрических задач. Учпедгиз, 1951.