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

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

Detalles Bibliográficos
Autor Principal:	Чёрч А.
Idioma:	ruso
Publicado:	Москва, Изд-во иностранной литературы, 1960
Subjects:	Математическая логика математика логика пропозициональное исчисление функциональные исчисления формальная логика монографии
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=136727

Títulos similares

Введение в математическую логику: пер. с англ.
por: Мендельсон Э. Эллиот
Publicado: (Москва, Наука, 1971)

Математическая логика: пер. с англ.
por: Гудстейн Р. Л.
Publicado: (Москва, Изд-во иностранной литературы, 1961)

Элементы математической логики
por: Марков А. А. Андрей Андреевич
Publicado: (Москва, Изд-во МГУ, 1984)

Симметрическая конструктивная логика
por: Заславский И. Д. Игорь Дмитриевич
Publicado: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
por: Лихтарников Л. М. Леонид Моисеевич
Publicado: (СПб., Лань, 2009)

Введение в математическую логику: учебное пособие
por: Колмогоров А. Н. Андрей Николаевич
Publicado: (Москва, Изд-во Московского ун-та, 1982)

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

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
por: Гжегорчик А. Анджей
Publicado: (Москва, Наука, 1972)

Теория дедуктивных систем и ее применения
por: Маслов С. Ю. Сергей Юрьевич
Publicado: (Москва, Радио и связь, 1986)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
por: Барендрегт Х. П. Хендрик Питер
Publicado: (Москва, Мир, 1985)

Применение ЭВМ для решения задач математической логики: учебное пособие
por: Мелихов А. Н. Аскольд Николаевич
Publicado: (Таганрог, Изд-воТРТИ, 1988)

Введение в математическую логику
por: Зюзьков В. М.
Publicado: (Санкт-Петербург, Лань, 2022)

Теория доказательств: пер. с англ.
por: Такеути Г. Гаиси
Publicado: (Москва, Мир, 1978)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
por: Кипнис М. М. Михаил Маркович
Publicado: (Челябинск, Изд-во ЧПИ, 1985)

Введение в математическую логику: учебное пособие
por: Воротников С. М.
Publicado: (Комсомольск-на-Амуре, Изд-во Комсомольского-на-Амуре ГТУ, 1996)

Введение в математическую логику: пер. с англ.
por: Мендельсон Э. Эллиот
Publicado: (Москва, Наука, 1976)

Введение в математическую логику: пер. с англ.
por: Мендельсон Э. Эллиот
Publicado: (Москва, Наука, 1984)

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

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

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
por: Лихтарников Л. М. Леонид Моисеевич
Publicado: (СПб., Лань, 2008)

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

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

Что такое математическая логика?
por: Калужнин Л. А. Лев Аркадьевич
Publicado: (Москва, Наука, 1964)

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

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
por: Бабичева И. В.
Publicado: (Санкт-Петербург, Лань, 2024)

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

Метаматематика элементарной математики: пер. с нем.
por: Энгелер Э. Эрвин
Publicado: (Москва, Мир, 1987)

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

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

Логические и математические исчисления: учебное пособие
por: Шиханович Ю. А. Юрий Александрович
Publicado: (Москва, Научный мир, 2011)

Математическая логика и теория алгоритмов: учебное пособие
por: Крупский В. Н. Владимир Николаевич
Publicado: (Москва, Академия, 2013)

Как математика ум в порядок приводит
por: Столяр А. А. Абрам Аронович
Publicado: (Минск, Вышэйшая школа, 1982)

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

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

Теория формальных систем: пер. с англ.
por: Смальян Р. Раймонд
Publicado: (Москва, Наука, 1981)

Математическая логика: учебное пособие для вузов
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (Москва, Физматлит, 2011)

Основы многополярности
por: Ленский В. В. Васислий Васильевич
Publicado: (Иркутск, Изд-во Иркутского ун-та, 1986)

Стабильные теории: учебное пособие
por: Мустафин Т. Г. Туленды Гарифович
Publicado: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Проблема логического следования в математической логике: лекция
por: Джиджян Р. З.
Publicado: (Ереван, Изд-во Ереванского ун-та, 1981)

Конструктивная математическая логика с точки зрения классической
por: Новиков П. С. Петр Сергеевич
Publicado: (Москва, Наука, 1977)