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

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

ग्रंथसूची विवरण
मुख्य लेखक:	Голдблатт Р.
भाषा:	रूसी
प्रकाशित:	Москва, Мир, 1983
विषय:	Множеств теория > (основания математики) категории стрелки топосы строение логика алгебра интуиционизм функторы арифметика истинность сопряженность кванторы
स्वरूप:	पुस्तक
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=291030

समान संसाधन

Конструктивные множества и их приложения: пер. с англ.; [монография]
द्वारा: Мостовский А. Анджей
प्रकाशित: (Москва, Мир, 1973)

Теория множеств и метод форсинга: пер. с англ.
द्वारा: Йех Т. Томас
प्रकाशित: (Москва, Мир, 1973)

Введение в теорию нечетких множеств
द्वारा: Кофман А. Арнольд
प्रकाशित: (Москва, Радио и связь, 1982)

Конечные четкие и расплывчатые множества: учебное пособие; Ч. 2
द्वारा: Мелихов А. Н. Аскольд Николаевич
प्रकाशित: (Таганрог, Изд-во ТРТИ, 1981)

Теория супермногообразий
द्वारा: Лейтес Д. А. Дмитрий Александрович
प्रकाशित: (Петрозаводск, Изд-воКарел. фил. АН СССР, 1983)

В поисках бесконечности
द्वारा: Виленкин Н. Я. Наум Яковлевич
प्रकाशित: (Москва, Наука, 1983)

Приложения теории множеств
द्वारा: Харазишвили А. Б. Александр Бежанович
प्रकाशित: (Тбилиси, Изд-во Тбил. ун-та, 1989)

Канторовская теория множеств
द्वारा: Архангельский А. В. Александр Владимирович
प्रकाशित: (Москва, Изд-во МГУ, 1988)

Исследования по некласическим логикам и теории множеств
प्रकाशित: (Москва, Наука, 1979)

Элементы теории множеств и комбинаторики: учебное пособие
द्वारा: Бро Л. Р.
प्रकाशित: (Ташкент, Изд-во ТИНХ, 1981)

Последовательные доверительные множества и критерии
द्वारा: Павлов И. В.
प्रकाशित: (Москва, Изд-во Вычислительного центра АН СССР, 1983)

Локальная теория степеней неразрешимости
द्वारा: Арсланов М. М. Марат Мирзаевич
प्रकाशित: (Казань, Изд-во Казанского ун-та, 1987)

Теория операций над множествами
द्वारा: Паровиченко И. И. Иван Иванович
प्रकाशित: (Кишинев, Штиинца, 1981)

Теория топосов: пер. с англ.
द्वारा: Джонстон П. Т.
प्रकाशित: (Москва, Наука, 1986)

Перечислимые множества: учебное пособие
द्वारा: Дегтев А. Н. Александр Николаевич
प्रकाशित: (Новосибирск, Изд-во НГУ, 1980)

Теория множеств: пер. с нем.
द्वारा: Хаусдорф Ф.
प्रकाशित: (Москва, ОНТИ НКТП, 1937)

Математика в альтернативной теории множеств: пер. с англ.
द्वारा: Вопенка П. Петр
प्रकाशित: (Москва, Мир, 1983)

О теории множеств: пер. с пол.
द्वारा: Серпинский В. Вацлав
प्रकाशित: (Москва, Просвещение, 1966)

Адхеренции и кохеренции линейной точечной области
द्वारा: Некрасов В. Л. Владимир Леонидович
प्रकाशित: (Томск, Типо-литография Сибирского Т-ва Печатного Дела, 1908)

Вариации множеств и функций
द्वारा: Иванов Л. Д. Леонид Дмитриевич
प्रकाशित: (Москва, Наука, 1975)

Труды по теории множеств
द्वारा: Кантор Г. Георг
प्रकाशित: (Москва, Наука, 1985)

Комплексные аналитические множества
द्वारा: Чирка Е. М. Евгений Михайлович
प्रकाशित: (Москва, Наука, 1985)

Ч. 1 : Множества. Математическая логика; Методическое пособие по курсу "Основы кибернетики"
प्रकाशित: (1985)

Нечеткие множества и теория возможностей. Последние достижения: пер. с англ.
प्रकाशित: (Москва, Радио и связь, 1986)

Задачи по теории множеств и математическому анализу: учебное пособие
द्वारा: Тимофеев В. И. Владимир Иванович
प्रकाशित: (Казань, Изд-во КАИ, 1977)

Геометрические вопросы теории функций и множеств: сборник научных трудов
प्रकाशित: (Калинин, Изд-во КГУ, 1989)

Теория функций действительного переменного: учебное пособие для вузов
द्वारा: Макаров И. П.
प्रकाशित: (Москва, Высшая школа, 1962)

Геометрические вопросы теории функций и множеств: межвузовский тематический сборник научных трудов
प्रकाशित: (Калинин, Изд-во КГУ, 1987)

Геометрические вопросы теории функций и множеств: межвузовский тематический сборник научных трудов
प्रकाशित: (Калинин, Изд-во КГУ, 1986)

Геометрические вопросы теории функций и множеств: сборник научных трудов
प्रकाशित: (Калинин, Изд-во КГУ, 1985)

Множества и функции: для слушателей ФПК
प्रकाशित: (Томск, Изд-во Томского ун-та, 1981)

Математические принципы нечеткой логики: пер. с англ.
द्वारा: Новак В. Вилен
प्रकाशित: (Москва, Физматлит, 2006)

Степенные инварианты точечных множеств
द्वारा: Бабенко Ю. И. Юрий Иванович
प्रकाशित: (Санкт-Петербург, Профессионал, 2014)

Введение в теорию множеств и общую топологию: учебное пособие
द्वारा: Александров П. С. Павел Сергеевич
प्रकाशित: (Москва, Физматлит, 2009)

Математическая логика и алгебра: Сборник статей
प्रकाशित: (Москва, Наука, 2003)

Категорная логика
द्वारा: Васюков В. Л. Владимир Леонидович
प्रकाशित: (Москва, АНО Институт логики, 2005)

Логическая семантика и философские основания логики
द्वारा: Смирнова Е. Д. Елена Дмитриевна
प्रकाशित: (Москва, Изд-во МГУ, 1986)

Алгебра логики в задачах
द्वारा: Гиндикин С. Г. Семен Григорьевич
प्रकाशित: (Москва, Наука, 1972)

Симметрическая конструктивная логика
द्वारा: Заславский И. Д. Игорь Дмитриевич
प्रकाशित: (Ереван, Изд-во АН Армянской ССР, 1978)

Введение в теорию категорий и функторов: пер. с англ.
द्वारा: Букур И. Ион
प्रकाशित: (Москва, Мир, 1972)