1. Фрейденталь Х.М. Язык логики. М.: Наука, 1969. 136 с.
2. Черч А. Введение в математическую логику, том 1 // Пер. с англ. B.C. Чернявского. Под ред. В.А. Успенского. М.: Издательство иностранной литературы, 1960. Оригинал: Church A. Introduction to Mathematical Logic, volume 1. Princeton, New Jersey, Princeton University Press, 1956.
3. Мендельсон Э. Введение в математическую логику // Пер. с англ. Ф.А. Кабакова. Под ред. С.И. Адяна. М.: Наука, 1971. 320 с. Оргинал: Mendelson E. Introduction to Mathematical Logic. D van Nostrand Company, Inc., Princeton, New Jersey, 1963.
4. Gosztonyi K. The ’New Math’ reform and Pedagogical Flows in Hungarian and French Mathematics Education // CERME 9 – Ninth Congress of the European Society for Research in Mathematics Education, Charles University in Prague, Faculty of Education; ERME, Prague, Czech Republic. Feb 2015. P. 1709–1716. https://hal.archives-ouvertes.fr/hal-01288002 (aктyaльнo нa 21.12.2022).
5. Ершов А.П., Кушниренко А.Г., Лебедев Г.В., Семенов А.Л., Шень А.Х. Основы информатики и вычислительной техники: Проб. учебник для сред. учеб. заведений // Под ред. А.П. Ершова. М.: Просвещение, 1988. 207 с., ISBN 5-09-000593-1.