Стяжкин Н.И. Формирование математической логики. - М., 1967. - 508 с.
Бурное развитие математической логики во Многом определяет основные тенденции научного прогресса наших дней. Ее принципы применяются не только в математике, но и в логических элементах вычислительных устройств, при машинном переводе с одного языка на другой, в сложных кибернетических системах и в других многочисленных областях и практики.
Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений. Айтор описывает узловые вехи в становлении и развитии наиболее цен-. пых, с современной точки зрения» логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д. Пеаио, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепций XIX— XX вв.
Книга рассчитана на математиков, философов, логиков, на работников, связанных с автоматикой, моделированием, с работой счетно-решающих устройств в области физики, химии, биологии, лингвистики и др., на преподавателей и студентов, на всех лиц, желающих ознакомиться с методами математической логики и историей ее формирования.
Часть 1
Часть 2
