7.Заключение.

Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней. Ее принципы применяются не только в математике, но и в логических элементах вычислительных устройств, при машинном переводе с одного языка на другой, в сложных кибернетических системах и в других многочисленных областях и практики. Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений.

8.Список используемой литературы:

1. Гильберт Д., Бернайс П. Основания математики.- М.:Наука ,1979;

2. Ершов Ю.Л., Палютин Е.А. Математическая логика.- М.:Наука , 1979;

3. Мендельсон Э. Введение в математическую логику. - М.: Наука , 1976;

4. Новиков Л.С. Элементы математической логики. - М.: Наука , 1973.