Введение в математическую логику: монография; пер. с англ.; Т. 1

Введение в математическую логику: монография; пер. с англ.; Т. 1

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Чёрч А.
Γλώσσα:	Ρωσικά
Έκδοση:	Москва, Изд-во иностранной литературы, 1960
Θέματα:	Математическая логика математика логика пропозициональное исчисление функциональные исчисления формальная логика монографии
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=136727

Παρόμοια τεκμήρια

Введение в математическую логику: пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1971)

Введение в математическую логику: учебное пособие
από: Колмогоров А. Н. Андрей Николаевич
Έκδοση: (Москва, Изд-во Московского ун-та, 1982)

Введение в математическую логику: учебное пособие
από: Воротников С. М.
Έκδοση: (Комсомольск-на-Амуре, Изд-во Комсомольского-на-Амуре ГТУ, 1996)

Введение в математическую логику: пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1976)

Введение в математическую логику: пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1984)

Математическая логика: пер. с англ.
από: Гудстейн Р. Л.
Έκδοση: (Москва, Изд-во иностранной литературы, 1961)

Симметрическая конструктивная логика
από: Заславский И. Д. Игорь Дмитриевич
Έκδοση: (Ереван, Изд-во АН Армянской ССР, 1978)

Элементы математической логики
από: Марков А. А. Андрей Андреевич
Έκδοση: (Москва, Изд-во МГУ, 1984)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2009)

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.: тезисы докладов
Έκδοση: (Новосибирск, Изд-во ИМ, 1985)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
από: Гжегорчик А. Анджей
Έκδοση: (Москва, Наука, 1972)

Теория дедуктивных систем и ее применения
από: Маслов С. Ю. Сергей Юрьевич
Έκδοση: (Москва, Радио и связь, 1986)

Конструктивная математическая логика с точки зрения классической
από: Новиков П. С. Петр Сергеевич
Έκδοση: (Москва, Наука, 1977)

Теория доказательств: пер. с англ.
από: Такеути Г. Гаиси
Έκδοση: (Москва, Мир, 1978)

Применение ЭВМ для решения задач математической логики: учебное пособие
από: Мелихов А. Н. Аскольд Николаевич
Έκδοση: (Таганрог, Изд-воТРТИ, 1988)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
από: Барендрегт Х. П. Хендрик Питер
Έκδοση: (Москва, Мир, 1985)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
από: Кипнис М. М. Михаил Маркович
Έκδοση: (Челябинск, Изд-во ЧПИ, 1985)

Алгебра и математическая логика: межведомственный сборник
Έκδοση: (Киев, Изд-во Киевского ун-та, 1966)

Язык логики: пер. с англ.
από: Фрейденталь Х. Ханс
Έκδοση: (Москва, Наука, 1969)

Исследования по теории алгорифмов и математической логике: сборник
Έκδοση: (Москва, Наука, 1979)

Исследования по неклассическим логикам и формальным системам: сборник статей
Έκδοση: (Москва, Наука, 1983)

Многоцветная логика.175 логических задач: пер. с венг.
από: Бизам Д. Дьердь
Έκδοση: (Москва, Мир, 1978)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2008)

Что такое математическая логика?
από: Калужнин Л. А. Лев Аркадьевич
Έκδοση: (Москва, Наука, 1964)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Έκδοση: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Логические исследования: сборник статей; Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; О философской сущности "семантической концепции истины"; О числе отношений множеств (понятий); Об основах квантово-релятивистской логики; Логическое строение знаний о связях; К вопросу о каузальной импликации; Логический анализ понятия фонемы; Пустые классы и аристотелева логика; О соотношении логики и математики в системах типа Principia Mathematica; Анализ потенциальной осуществимости; Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; О логическом синтезе электронных вычислительных и управляющих схем; Моделирование операций исчисления высказываний посредством релейно-контактных схем; О построении общей теории логических сетей; О коммутационных схемах и их логической сущности; Логический синтез схем релейного действия, содержащих сопротивления и контакты; Аналитический синтез многотактных схем по формулам включения; Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем
Έκδοση: (Москва, Издательство Академии наук СССР, 1959)

Введение в метаматематику: пер. с англ.
από: Клини С. К. Стефен К.
Έκδοση: (Москва, Изд-во иностранной литературы, 1957)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
από: Бирюков Б. В. Борис Владимирович
Έκδοση: (Москва, Едиториал УРСС, 2004)

Алгебра и логика: сборник научных трудов
Έκδοση: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика: сборник научных трудов
Έκδοση: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Метаматематика элементарной математики: пер. с нем.
από: Энгелер Э. Эрвин
Έκδοση: (Москва, Мир, 1987)

Сложностные проблемы математической логики: сборник научных трудов
Έκδοση: (Калинин, [Б. и.], 1985)

[Вып.] 152 : Теория вычислений и языки спецификаций; Вычислительные системы
Έκδοση: (1995)

II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.): тезисы докладов
Έκδοση: (Новосибирск, Изд-во Института математики, 1988)

Как математика ум в порядок приводит
από: Столяр А. А. Абрам Аронович
Έκδοση: (Минск, Вышэйшая школа, 1982)

Теория формальных систем: пер. с англ.
από: Смальян Р. Раймонд
Έκδοση: (Москва, Наука, 1981)

Математическая логика и теория алгоритмов: учебное пособие
από: Крупский В. Н. Владимир Николаевич
Έκδοση: (Москва, Академия, 2013)

Логические и математические исчисления: учебное пособие
από: Шиханович Ю. А. Юрий Александрович
Έκδοση: (Москва, Научный мир, 2011)

Стабильные теории: учебное пособие
από: Мустафин Т. Г. Туленды Гарифович
Έκδοση: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Проблема логического следования в математической логике: лекция
από: Джиджян Р. З.
Έκδοση: (Ереван, Изд-во Ереванского ун-та, 1981)