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

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

Opis bibliograficzny
1. autor:	Расева Е. Елена
Kolejni autorzy:	Сикорский Р. Роман
Język:	rosyjski
Wydane:	Москва, Наука, 1972
Seria:	Математическая логика и основания математики
Hasła przedmiotowe:	математика топология булевы алгебры псевдобулевы алгебры классическая логика формализованные языки формализованные теории неклассические логики позитивная логика модальная логика интуиционистские формализованные теории математическая логика
Format:	Książka
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=378688

Podobne zapisy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Формализованный язык описания нормативных требований (язык регламентов); Информационные технологии; № 7
od: Поляк В. Е.
Wydane: (2004)

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

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

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

Опыт использования формализованного протокола для описания цифровых флюорограмм; Медицинская техника; № 5
od: Ефтимьевский Л. В.
Wydane: (2003)

Российский бизнес под знаком качества; Методы менеджмента качества; № 9
Wydane: (2003)

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

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

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

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

Дискретная математика. Математика для менеджера в примерах и упражнениях: учебное пособие
od: Москинова Г. И. Галина Ивановна
Wydane: (Москва, Логос, 2003)

Формализация процесса структуризации содержания обучения средствами дискретной математики; Инновационные технологии и экономика в машиностроении
od: Маслов А. В. Анатолий Викторович
Wydane: (2008)

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

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

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

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

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

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

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

Модальная логика: пер. с англ.
od: Фейс Р. Роберт
Wydane: (Москва, Наука, 1974)