Update Bibliography: Лихтарников Л. М., Сукачева Т. Г. Математическая логика. Задачник-практикум и решения. Санкт-Петербург 1999 г