Автор: В.Э. Вольфенгаген, профессор, д.т.н., Институт "ЮрИнфоР-МГУ", кафедра перспективных компьютерных ислледований и информационных технологий.
	Логика. Конспект лекций: техника рассуждений . -- М: АО "Центр ЮрИнфоР", 2001. -- 137 с. ISBN 5-89158-054-3

В работе рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены способы включения в вывод аннотаций (комментариев), пользуясь которыми можно проверить истинность или установить ложность приводимых доводов.

Для студентов и аспирантов гуманитарных специальностей. Может быть использована для первоначального изучения предмета, а также для самостоятельного изучения.