В книге освещаются вопросы логико-математического обоснования математики. Рассматриваются такие направления в логико-философских исследованиях, которые связаны с идеей бесконечности, теорией пределов,...
Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную...