Автор:Тимофеева И.Л. Год: 2007 Издание:Книжный дом "Университет" (КДУ) Страниц: [не указано] ISBN: 9785982273079 Пособие написано в соответствии с действующей программой по математической логике для педагогических ВУЗов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого...