Дж. Шенфильд. Математическая логика. Москва. Наука.1975г. 527 стр
Дж. Шенфильд. Математическая логика. Москва. Наука.1975г. 527 стр , . Математическая логика. Издательство Московского университета. 1984 г., 118 стр. . Элементы математической логики. Москва. Наука.1973 г.399 стр . Азбука математической логики. Москва. Знание.1967 г. 103 стр . Теорема Геделя о неполноте. Москва. Наука.1982 г. 111 стр . Проблемы логики. Москва. Издательство Академии Наук СССР., 1963г., 151 стр ., . Задачи по логике. Новосибирск., ИМ, 1970г., 112 стр ., . Математикалық логиканың негіздері. Өскемен. ШҚТУ. 2000 ж. Э. Мендельсон. Введение в математическую логику. Москва. Наука.1971 г. 320 стр , . Математическая логика и теория алгоритмов. М.: ИНФРА-М. Новосибирск. 2004 г. 224 стр
