Литература

  1. Александров П. С. Введение в общую теорию множеств и функций. М.-Л.: изд-во ТТЛ, 1948.-412с

  2. К. Куратовский, А. Мостовский. Теория множеств, перевод с английского М. И. Кратко, под редакцией А. Д. Тайманова. Изд-во «Мир», М, 1970.-416с.

  3. Е. Слупецкий, Л. Борковский. Элементы матлогики и теория множеств. Изд-во «Прогресс», М, 1965.-368с.

  4. Шиханович Ю. А. Введение в современную математику. Изд-во «Наука», М, 1965.-376с.

  5. Н. Бурбаки. Теория множеств. Изд-во «Мир», М, 1965.-455с.

  6. Ю. Е. Пензов, Элементы математической логики и теория множеств. Изд-во Саратовского университета, 1967.-143с.

  7. Виленкин Н. Я. Рассказы о множествах. Изд-во «Наука», М, 1965.-94с.

  8. К. Куратовский. Топология, том 1, перевод с польского. Изд-во «Мир», М, 1966.-594с.

  9. А. В. Гохман и др. Сборник задач по матлогике и алгебре множеств. Изд-во Саратовского университета, 1965.-86с.

  10. А. Френкель, И. Бар-Хилел. Основания теории множеств. Изд-во «Мир», М, 1966.-555с.

  11. Н. И. Кондаков. Введение в логику. Изд-во «Наука», М, 1967.-287с.

  12. Ю. А. Шрейдер. Равенство, сходство, порядок. Изд-во «Наука», М, 1971.-187с.

  13. Люсьен Феликс. Элементарная математика в современном изложении, перевод с французского. Изд-во «Просвещение», М, 1967.-488с.

  14. Р. Р. Столл. Множества. Логика. Аксиоматические теории. Изд-во «Просвещение», М, 1968.-230с.

  15. С. Феферман. Числовые системы. Изд-во «Наука», М, 1971.

  16. С. Г. Гиндикин. Алгебра логики в задачах. Изд-во «Наука», М, 1972.-288с.

  17. А. Черч. Введение в матлогику, ИЛ, 1960, том 1.-484с.

  18. П. С. Новиков. Элементы математической логики, Физматгиз, 1959.-399с.

  19. А. А. Столяр. Элементарное введение в математическую логику. Изд-во «Просвещение», 1965.-85с.

  20. А. А. Марков. Теория алгорифмов М.-Л.,АНССР, 1954-376с. (Тр. Мат. ин-та им. В. А. Стеклова, XLII).

  21. Р. Фор, А. Кофман, М. Дени-Папен. Современная математика. Изд-во «Мир», М, 1966.-271с.

  22. Э. Мендельсон. Введение в матлогику. Изд-во «Наука», М, 1971.-319с.

  23. Смирнов В. А. Формальный вывод и логические исчисления. М.: Наука. 1972.-268с.

  24. Сигорский В. П. Математический аппарат инженера. Киев. Изд-во «Техника», 1975.-768с.

264