Математическая логикаЛихтарников Л. М.Математическая логикакурс лекций, задачник-практикум и решения: учебное пособие для студентов вузовЛихтарников Л. М.; Сукачёва Т. Г.Санкт-Петербург : Лань, 1998·285 с.·Шифр: 22.12 Л 65Свободно:ЦГБ — 1