Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения / Лихтарников Л. М.,Сукачева Т. Г.. - 4-е изд., стер.. - Санкт-Петербург : Лань, 2022. - 288 с.. URL: https://e.lanbook.com/book/210281. URL: https://e.lanbook.com/img/cover/book/210281.jpg