История развития математической логики

История возникновения математической логики.Математическая логика тесно связана с логикой и обязана ей своим возникновением.Строительство логических машин - интересная глава истории логики и кибернетики.Математическая логика облегчает механизацию умственного труда.Игошин, В.И. Математическая логика и теория алгоритмов [Текст] / В.И. Игошин.Стяжкин, Н.И. Формирование математической логики [Текст] / Н.И. Стяжкин.Марков, А.А. Элементы математической логики [Текст] / А.А. Марков.Карри, Х.Б. Основания математической логики [Текст] /Х.Б. Карри.Применение математической логики.Математическая логика в криптографии.