Сводный каталог книг

[Текст] : монография / Ю.Г. Гладких. - Москва : МГУ им. М.В.Ломоносова, 2006. - 128 с. : ил. - Библиогр.: с. 120-125. - ISBN 5-211-04989-6 : 93.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю4

Аннотация: Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок. Для научных работников и студентов, интересующихся современными проблемами теоретической логики и методологии науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)