Автор: Пользователь скрыл имя, 20 Ноября 2011 в 01:33, контрольная работа
Мышление и язык. Естественные и искусственные языки.
История логики и формализация мышления. Язык исчисления предикатов.
Упражнения.
Список литературы.