Математика метаматематики пер. с англ.

Математика метаматематики, пер. с англ.

Podrobná bibliografie
Hlavní autor:	Расева Е. Елена
Další autoři:	Сикорский Р. Роман
Vydáno:	Москва, Наука, 1972
Edice:	Математическая логика и основания математики
Témata:	математика топология булевы алгебры псевдобулевы алгебры классическая логика формализованные языки формализованные теории неклассические логики позитивная логика модальная логика интуиционистские формализованные теории математическая логика
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=378688

Podobné jednotky

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

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

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

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

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

Математическая логика учебное пособие
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Инфра-М, 2019)

Математическая логика учебное пособие
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Инфра-М, 2012)

Математическая логика учебник и практикум для вузов
Autor: Скорубский В. И. Владимир Иванович
Vydáno: (Москва, Юрайт, 2021)

Математическая логика учебник и практикум для вузов
Autor: Скорубский В. И. Владимир Иванович
Vydáno: (Москва, Юрайт, 2022)

Математическая логика учебник и практикум для вузов
Autor: Скорубский В. И. Владимир Иванович
Vydáno: (Москва, Юрайт, 2024)

Математическая логика учебник и практикум для вузов
Autor: Скорубский В. И. Владимир Иванович
Vydáno: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
Autor: Скорубский В. И. Владимир Иванович
Vydáno: (Москва, Юрайт, 2025)

Дискретная математика учебное пособие для вузов
Autor: Ананичев Д. С. Дмитрий Сергеевич
Vydáno: (Москва, Юрайт, 2022)

Дискретная математика учебное пособие для вузов
Autor: Ананичев Д. С. Дмитрий Сергеевич
Vydáno: (Москва, Юрайт, 2024)

Дискретная математика учебное пособие для вузов
Autor: Ананичев Д. С. Дмитрий Сергеевич
Vydáno: (Москва, Юрайт, 2021)

Дискретная математика учебное пособие для вузов
Autor: Ананичев Д. С. Дмитрий Сергеевич
Vydáno: (Москва, Юрайт, 2025)

Системно-кибернетические аспекты познания
Vydáno: (Рига, Зинатне, 1985)

Множества. Логика. Аксиоматические теории пер. с англ.
Autor: Столл Р. Р. Роберт Р.
Vydáno: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов учебное пособие
Autor: Шелупанов А. А. Александр Александрович
Vydáno: (Томск, STT, 2001)

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

Формализованный язык описания нормативных требований (язык регламентов)
Autor: Поляк В. Е.
Vydáno: (2004)

Дискретная математика для программистов учебное пособие для вузов пер. с англ.
Autor: Хаггарти Р.
Vydáno: (Москва, Техносфера, 2003)

Краткая история математики
Autor: Павлов Е. А.
Vydáno: (Санкт-Петербург, Лань, 2022)

Дискретная математика и математическая логика учебник
Autor: Аляев Ю. А. Юрий Александрович
Vydáno: (Москва, Финансы и статистика, 2006)

Российский бизнес под знаком качества
Vydáno: (2003)

Опыт использования формализованного протокола для описания цифровых флюорограмм
Autor: Ефтимьевский Л. В.
Vydáno: (2003)

Дискретная математика для программистов учебное пособие для вузов пер. с англ.
Autor: Хаггарти Р.
Vydáno: (Москва, Техносфера, 2005)

Дискретная математика для инженера
Autor: Кузнецов О. П.
Vydáno: (Санкт-Петербург, Лань, 2022)

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

Дискретная математика. Математика для менеджера в примерах и упражнениях учебное пособие
Autor: Москинова Г. И. Галина Ивановна
Vydáno: (Москва, Логос, 2007)

Формализация процесса структуризации содержания обучения средствами дискретной математики
Autor: Маслов А. В. Анатолий Викторович
Vydáno: (2008)

Логика для студентов гуманитарных факультетов
Autor: Кадыг-оол Х. К.
Vydáno: (Кызыл, ТувГУ, 2020)

Универсальная алгебра, алгебраическая логика и базы данных
Autor: Плоткин Б. И. Борис Исаакович
Vydáno: (Москва, Наука, 1991)

Элементы модальной логики монография
Autor: Костюк В. Н. Владимир Николаевич
Vydáno: (Киев, Наукова думка, 1978)

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

Модальные и интенсиональные логики и их применение к проблемам методологии науки
Vydáno: (Москва, Наука, 1984)

Дискретная математика для программистов учебное пособие пер. с англ.
Autor: Хаггарти Р. Род
Vydáno: (Москва, Техносфера, 2020)

Дискретная математика для программистов учебное пособие пер. с англ.
Autor: Хаггарти Р. Род
Vydáno: (Москва, Техносфера, 2012)

Разработка формализованной схемы превращений углеводородов в процессе каталитического крекинга для прогнозирования индивидуального состава газов
Autor: Межова М. Ю.
Vydáno: (2022)

Математическая логика и теория алгоритмов учебно-методическое-пособие
Autor: Геут К. Л.
Vydáno: (Екатеринбург, 2017)