История развития математической логики
Математическая логика тесно связана с логикой и обязана ей своим возникновением. Основы логики , науки о законах и формах человеческого мышления (отсюда одно из ее названий - формальная логика ), были заложены величайшим древнегреческим философом...