Подробное описание документа
Гладких, Ю. Г. Логика без экзистенциальных предпосылок : монография / Ю. Г. Гладких. — Москва : МГУ имени М.В.Ломоносова, 2006. — 128 с. — ISBN 5-211-04989-6.
Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок. Для научных работников, преподавателей и студентов, интересующихся современными пpoблемами теоретической логики и методологии науки.
