1. Л. А. Калужнин. Что такое математическая логика. Киев., 1965.

2. Г. О. Ефремов. Математическая логика и машины. М., 1962.

3. И. Я. Депман. Первое знакомство с математической логикой. Л., 1965.

4. А. А. Столяр. Элементы математической логики. Часть первая. Логика высказываний. М., 1964.

5. Его же. Часть вторая. Логика предикатов. М., 1965.

6. Его же. Элементарное введение в математическую логику. М., 1965.

7. П. С. Новиков. Элементы математической логики. М., 1959.

8. Э. Кольман и О. Зих. Занимательная логика. М., 1966.