Алгебра и логика: сборник научных трудов

Алгебра и логика: сборник научных трудов

Bibliografiset tiedot
Yhteisötekijä:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Muut tekijät:	Ершов Ю. Л.
Kieli:	venäjä
Julkaistu:	Новосибирск, Изд-во ИМ СО РАН, 1991
Sarja:	Труды Института математики им. С. Л. Соболева СО РАН Т. 30, № 3
Aiheet:	математика логика математическая логика арифметика
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=163623

Samankaltaisia teoksia

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Математическая логика
Tekijä: Гладкий А. В. Алексей Всеволодович
Julkaistu: (Москва, Изд-во Российского ГГУ, 1998)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Ин-т математики СО АН СССР, 1991)

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

Математический интуиционизм. Введение в теорию доказательств
Tekijä: Драгалин А. Г. Альберт Григорьевич
Julkaistu: (Москва, Наука, 1979)

Элементы математической логики
Tekijä: Новиков П. С. Петр Сергеевич
Julkaistu: (Москва, Наука, 1973)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во Ин-та математики СО РАН, 1992)

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

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и математическая логика: межведомственный сборник
Julkaistu: (Киев, Изд-во Киевского ун-та, 1966)

Избранные труды; Теория множеств. Математическая логика и алгебра
Tekijä: Новиков П. С. Петр Сергеевич
Julkaistu: (Москва, Наука, 1979)

Алгебра логики в задачах
Tekijä: Гиндикин С. Г. Семен Григорьевич
Julkaistu: (Москва, Наука, 1972)

Введение в математическую логику: пер. с англ.
Tekijä: Мендельсон Э. Эллиот
Julkaistu: (Москва, Наука, 1971)

Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
Tekijä: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
Julkaistu: (Томск, Водолей, 2000)

Математическая логика: пер. с англ.
Tekijä: Гудстейн Р. Л.
Julkaistu: (Москва, Изд-во иностранной литературы, 1961)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, 1989)

Конструктивная математическая логика с точки зрения классической
Tekijä: Новиков П. С. Петр Сергеевич
Julkaistu: (Москва, Наука, 1977)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Основания математики. Логические исчисления и формализация арифметики.
Tekijä: Гильберт Д. Давид
Julkaistu: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
Tekijä: Гильберт Д. Давид
Julkaistu: (Москва, Наука, 1982)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, 1989)

Математическая логика: пер. с англ.
Tekijä: Клини С. К. Стефан Коул
Julkaistu: (Москва, Мир, 1973)

Логика в лицах и символах: Научно-популярная книга
Tekijä: Жоль К. К. Константин Константинович
Julkaistu: (Москва, Педагогика-Пресс, 1993)

Алгебра и логика: сборник научных трудов
Julkaistu: (Новосибирск, 1989)

Логика математического мышления
Tekijä: Теребилов О. Ф. Олег Федорович
Julkaistu: (Ленинград, Изд-во ЛГУ, 1987)

Математическая логика: Курс лекций. Задачник-практикум и решения
Tekijä: Лихтарников Л. М.
Julkaistu: (СПб., Лань, 1999)

Математическая логика и её применение: сборник статей; пер. с англ.
Julkaistu: (Москва, Мир, 1965)

Многоцветная логика.175 логических задач: пер. с венг.
Tekijä: Бизам Д. Дьердь
Julkaistu: (Москва, Мир, 1978)

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

Логика и пролог в дискретной математике
Tekijä: Набебин А. А. Алексей Александрович
Julkaistu: (Москва, Изд-во МЭИ, 1996)

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

Математическая логика: учебное пособие
Tekijä: Ершов Юрий Леонидович
Julkaistu: (Москва, Наука, 1987)