ДОДАТКОВА ЛІТЕРАТУРА

1. Беркли 3. Символическая логика и разумные машины. — М.: Изд-во иностр. лит-ры, 1961. — 260 с.

2. Гуссерль 3. Логические исследования. Пролегомени к чистой логике.— К.: Вентури, 1995.— 256с.

3. Жоль К. К. Логика в лицах и символах. — М.: Педагогика-Пресс, 1993. — 256 с.

4. Ковальски Р. Логика в решении проблем: Пер. с англ. — М.: Наука, 1990.— 280с.

5. Копнин П. В. Диалектика, логика, наука. — М.: Наука, 1973. — 464 с.

6. Лакатос И. Доказательства и опровержения. Как доказываются теоремы. — М.: Наука, 1967. —152с.

7. Логика и компьютер. Моделирование рассуждений и проверка правильности програми / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. — М.: Наука, 1990.—240с.

8. Попович М. В. Логіка і наукове пізнання. — К.: Наукова думка, 1971. — 156 с.

9. Хаскел Б. Карри. Основания математической логики: Пер. с англ. В. В. Донченко /Под ред. Ю. А. Гастева. — М.: Мир, 1969. — 568 с.