М 34 Математическая логика и ее применения [Текст] : сборник статей / под ред. Э. Нагела, П. Саппса и А. Тарского ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 341 с. : табл. ; 22 см. - Библиогр. в конце ст. - Содерж.: Неразрешимость показательных диофантовых уравнений / Дж. Робинсон ; пер. М. А. Тайцлина. О теореме Кобхама, касающейся неразрешимых теорий / Р. Воот ; пер. М. А. Тайцлина. Теория иерархий / Дж. Аддисон ; пер. А. А. Виноградова. Функционалы конечных типов, вычислимые на машинах Тьюринга / С. Клини ; пер. Н. В. Белякина. Типы рекурсивной эквивалентности и комбинаторные функции / Дж. Майхилл ; пер. Б. А. Трахтенброта. Некоторые приложения степеней / Дж. Шёнфилд ; пер. Б. А. Трахтенброта. Последние достижения в теории моделей / А. Робинсон ; пер. В. Н. Кобкова и А. Д. Тайманова. К принципам отражения в аксиоматической теории множеств / А. Леви ; пер. В. Д. Лучкина. Две теоремы, относящиеся к основаниям теории множеств / Р. Монтэгрю ; пер. В. Д. Лучкина. Индивиды Куайна / Д. Скотт ; пер. А. П. Мацака. Типовая неопределенность / Э. Шпеккер ; пер. А. В. Гладкого, М. А. Тайцлина. Некоторые проблемы и результаты, связанные с основаниями теории множеств / А. Тарский ; пер. Ж. Алмагамбетова. Общее расширение в эквациональных классах / Е. Лось ; пер. Ж. Алмагамбетова. Математика и алгебра : пример / Р. Линдон ; пер. Е. Н. Кузьмина. Диофантовы уравнения и нестандартные модели арифметики / М. Рабин ; пер. Е. Н. Кузьмина. О полноте и разрешимости некоторых неопределимых понятий элементарной гиперболической геометрии / В. Швабхойзер ; пер. А. И. Фета. Новые основания абсолютной геометрии / В. Шмелева ; пер. А. И. Фета. Замечания о формализации и моделях / П. Бернайс ; пер. А. В. Гладкого. Математика и логика / А. Чёрч ; пер. А. В. Гладкого. Номиналистический анализ математического языка / Л. Генкин ; пер. А. В. Гладкого. Тридцать лет спустя / А. Гейтинг ; пер. А. В. Гладкого. Основания интуиционистской логики / Г. Крейсел ; пер. А. В. Гладкого. Объяснительные модели в лингвистике / Н. Хомский ; пер. М. В. Рыбаковой. Некоторые новые результаты в теоретической лингвистике / И. Бар-Хиллел ; пер. Л. С. Модиной, В. А. Фаткулина, Н. Г. Щербаковой. Модели в лингвистике и модели вообще / Чжао Юань-жень ; пер. Т. П. Мельчановой, Н. Г. Самойловой, М. А. Рвачевой. Списки в грамматике / Ф. Хаусхолдер ; пер. А. Я. Диковского, Г. А. Клочкова, С. П. Кузькина, Э. А. Любинской, Э. А. Пыльцевой. Критерии для модели языка / Ф. Уитфилд ; пер. Э. И. Борисова, Т. Г. Котеленец. Процесс и существование в математике / Ван Хао ; пер. Д. А. Захарова. - Пер. изд. : Logic, methodology and philosophy of science / ed. by Ernest Nagel, Patrick Suppes, Alfred Tarski. - Stanford, California, 1962. -
Логика--Сборники Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Тарский, Альфред (1902 - 1983) \ред.\; Tarski, Alfred (1902 - 1983); Нагел, Эрнест (1901 - 1985) \ред.\; Nagel, Ernest (1901 - 1985); Саппс, Патрик (1922 - ) \ред.\; Suppes, Patrick (1922 - ); Мальцев, Анатолий Иванович (1909 - 1967) \ред.\ Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |