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

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

Bibliografiset tiedot
Päätekijä:	Расева Е. Елена
Muut tekijät:	Сикорский Р. Роман
Kieli:	venäjä
Julkaistu:	Москва, Наука, 1972
Sarja:	Математическая логика и основания математики
Aiheet:	математика топология булевы алгебры псевдобулевы алгебры классическая логика формализованные языки формализованные теории неклассические логики позитивная логика модальная логика интуиционистские формализованные теории математическая логика
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=378688

Samankaltaisia teoksia

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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