Исследования по неклассическим логикам и формальным системам сборник статей

Исследования по неклассическим логикам и формальным системам, сборник статей

Detalles Bibliográficos
Autor Corporativo:	Академия наук СССР (АН СССР) Всесоюзный институт научной и технической информации (ВИНИТИ)
Outros autores:	Михайлов А. И. Александр Иванович (340)
Publicado:	Москва, Наука, 1983
Subjects:	множеств теория неклассическая логика формальные системы синтаксические аспекты семантика аксиоматическая теория модельная логика многозначные логики
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301218

Títulos similares

Исследования по неклассическим логикам 1V сов.-фин. коллоквиум [г. Телави, май 1985 г.]
Publicado: (Москва, Наука, 1989)

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

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

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

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

Математическая логика и теория алгоритмов для программистов учебное пособие
por: Гринченков Д. В. Дмитрий Валерьевич
Publicado: (Москва, КноРус, 2010)

Курс математической логики и теории вычислимости учебное пособие для вузов
por: Герасимов А. С. Александр Сергеевич
Publicado: (Санкт-Петербург, Лань, 2014)

Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Publicado: (Калинин, Изд-во Калининского гос. ун-та, 1983)

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

Ч. 2 : Теория множеств
Publicado: (1982)

Теория множеств и континуум-гипотеза
por: Коэн П. Д. Пол Дж.
Publicado: (Москва, Мир, 1969)

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

Применение методов математической логики. Секция : Представление знаний и синтез программ тезисы докладов IV Всесоюзной конференции
Publicado: (Таллин, Изд-во ин-та кибернетики, 1986)

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

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

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

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

Введение в математическую логику монография пер. с англ.
por: Чёрч А.
Publicado: (Москва, Изд-во иностранной литературы, 1960)

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

Логические исследования сборник статей
Publicado: (Москва, Издательство Академии наук СССР, 1959)

Вып. 116 : Прикладная логика
Publicado: (1986)

Математическая логика и теория алгоритмов / ДО 2017 электронный курс
por: Стоянов А. К. Александр Кириллович
Publicado: (Томск, TPU Moodle, 2018)

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

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

Категорная логика учебное пособие для вузов
por: Васюков В. Л. Владимир Леонидович
Publicado: (Москва, Юрайт, 2024)

Категорная логика учебное пособие для вузов
por: Васюков В. Л. Владимир Леонидович
Publicado: (Москва, Юрайт, 2023)

Категорная логика учебное пособие для вузов
por: Васюков В. Л. Владимир Леонидович
Publicado: (Москва, Юрайт, 2022)

Категорная логика учебник для вузов
por: Васюков В. Л. Владимир Леонидович
Publicado: (Москва, Юрайт, 2025)

Категорная логика учебное пособие для вузов
por: Васюков В. Л. Владимир Леонидович
Publicado: (Москва, Юрайт, 2021)

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

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

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

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

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

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

Математическая логика и теория алгоритмов учебник
por: Судоплатов С. В.
Publicado: (Москва, Инфра-М, 2008)

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

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

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

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