Описание
Дален Дирк ван. Логика и структура = Logic and Structure / Пер. с англ. под ред. В. Н. Кривцова. — М.: Моск. гор. психолого-пед. ун-т, 2010. — 230 с. — URL: http://psychlib.ru/inc/absid.php?absid=162551.
Рубрики:

 • Прочие отрасли знания → Математика

 • Учебная литература

Аннотация:
В книге затронуты основные темы, обычно входящие в программу вводного курса математической логики. Первые две главы посвящены классической логике и логике предикатов, в третьей главе представлена теория моделей, в частности – теорема Гёделя, логика второго порядка представлена в четвертой главе. В пятой главе рассматриваются несколько тем из области интуиционистских исчислений.
 • Открыть карточку в Электронном каталоге: 162551
Адрес страницы: http://psychlib.ru/resource.php/pdf/documents/KLs-2012.pdf