Топосы. Категорный анализ логики пер. с англ.

Топосы. Категорный анализ логики, пер. с англ.

Bibliographic Details
Main Author:	Голдблатт Р.
Language:	Russian
Published:	Москва, Мир, 1983
Subjects:	категории стрелки топосы строение логика алгебра интуиционизм функторы арифметика истинность сопряженность кванторы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=291030

Similar Items

Конструктивные множества и их приложения пер. с англ. [монография]
by: Мостовский А. Анджей
Published: (Москва, Мир, 1973)

Теория множеств и метод форсинга пер. с англ.
by: Йех Т. Томас
Published: (Москва, Мир, 1973)

Конечные четкие и расплывчатые множества учебное пособие
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-во ТРТИ, 1981)

Введение в теорию нечетких множеств
by: Кофман А. Арнольд
Published: (Москва, Радио и связь, 1982)

Теория супермногообразий
by: Лейтес Д. А. Дмитрий Александрович
Published: (Петрозаводск, Изд-воКарел. фил. АН СССР, 1983)

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

Канторовская теория множеств
by: Архангельский А. В. Александр Владимирович
Published: (Москва, Изд-во МГУ, 1988)

Приложения теории множеств
by: Харазишвили А. Б. Александр Бежанович
Published: (Тбилиси, Изд-во Тбил. ун-та, 1989)

В поисках бесконечности
by: Виленкин Н. Я. Наум Яковлевич
Published: (Москва, Наука, 1983)

Элементы теории множеств и комбинаторики учебное пособие
by: Бро Л. Р.
Published: (Ташкент, Изд-во ТИНХ, 1981)

Последовательные доверительные множества и критерии
by: Павлов И. В.
Published: (Москва, Изд-во Вычислительного центра АН СССР, 1983)

Локальная теория степеней неразрешимости
by: Арсланов М. М. Марат Мирзаевич
Published: (Казань, Изд-во Казанского ун-та, 1987)

Теория операций над множествами
by: Паровиченко И. И. Иван Иванович
Published: (Кишинев, Штиинца, 1981)

Теория топосов пер. с англ.
by: Джонстон П. Т.
Published: (Москва, Наука, 1986)

Перечислимые множества учебное пособие
by: Дегтев А. Н. Александр Николаевич
Published: (Новосибирск, Изд-во НГУ, 1980)

Теория множеств пер. с нем.
by: Хаусдорф Ф.
Published: (Москва, ОНТИ НКТП, 1937)

Математика в альтернативной теории множеств пер. с англ.
by: Вопенка П. Петр
Published: (Москва, Мир, 1983)

Адхеренции и кохеренции линейной точечной области
by: Некрасов В. Л. Владимир Леонидович
Published: (Томск, Типо-литография Сибирского Т-ва Печатного Дела, 1908)

О теории множеств пер. с пол.
by: Серпинский В. Вацлав
Published: (Москва, Просвещение, 1966)

Труды по теории множеств
by: Кантор Г. Георг
Published: (Москва, Наука, 1985)

Комплексные аналитические множества
by: Чирка Е. М. Евгений Михайлович
Published: (Москва, Наука, 1985)

Ч. 1 : Множества. Математическая логика
Published: (1985)

Нечеткие множества и теория возможностей. Последние достижения пер. с англ.
Published: (Москва, Радио и связь, 1986)

Задачи по теории множеств и математическому анализу учебное пособие
by: Тимофеев В. И. Владимир Иванович
Published: (Казань, Изд-во КАИ, 1977)

Теория функций действительного переменного учебное пособие для вузов
by: Макаров И. П.
Published: (Москва, Высшая школа, 1962)

Геометрические вопросы теории функций и множеств сборник научных трудов
Published: (Калинин, Изд-во КГУ, 1989)

Геометрические вопросы теории функций и множеств межвузовский тематический сборник научных трудов
Published: (Калинин, Изд-во КГУ, 1987)

Геометрические вопросы теории функций и множеств межвузовский тематический сборник научных трудов
Published: (Калинин, Изд-во КГУ, 1986)

Геометрические вопросы теории функций и множеств сборник научных трудов
Published: (Калинин, Изд-во КГУ, 1985)

Множества и функции для слушателей ФПК
Published: (Томск, Изд-во Томского ун-та, 1981)

Математические принципы нечеткой логики пер. с англ.
by: Новак В. Вилен
Published: (Москва, Физматлит, 2006)

Степенные инварианты точечных множеств
by: Бабенко Ю. И. Юрий Иванович
Published: (Санкт-Петербург, Профессионал, 2014)

Введение в теорию множеств и общую топологию учебное пособие
by: Александров П. С. Павел Сергеевич
Published: (Москва, Физматлит, 2009)

Математическая логика и алгебра Сборник статей
Published: (Москва, Наука, 2003)

Логическая семантика и философские основания логики
by: Смирнова Е. Д. Елена Дмитриевна
Published: (Москва, Изд-во МГУ, 1986)

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

Введение в теорию категорий и функторов пер. с англ.
by: Букур И. Ион
Published: (Москва, Мир, 1972)

Т. 13
Published: (1975)

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

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