Введение в математическую логику: пер. с англ.

Введение в математическую логику: пер. с англ.

Bibliografische gegevens
Hoofdauteur:	Мендельсон Э. Эллиот
Andere auteurs:	Адян С. И. (редактор)
Taal:	Russisch
Gepubliceerd in:	Москва, Наука, 1971
Onderwerpen:	математическая логика теория множеств формальная логика арифметика исчисление
Formaat:	Boek
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=79187

Gelijkaardige items

Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1976)

Введение в математическую логику: монография; пер. с англ.; Т. 1
door: Чёрч А.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1960)

Введение в метаматематику: пер. с англ.
door: Клини С. К. Стефен К.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1957)

Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1984)

Введение в математическую логику учебное пособие для вузов
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2026)

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

Введение в математическую логику
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)

Введение в математическую логику: учебное пособие
door: Колмогоров А. Н. Андрей Николаевич
Gepubliceerd in: (Москва, Изд-во Московского ун-та, 1982)

Введение в математическую логику: учебное пособие
door: Воротников С. М.
Gepubliceerd in: (Комсомольск-на-Амуре, Изд-во Комсомольского-на-Амуре ГТУ, 1996)

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

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

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

Язык логики: пер. с англ.
door: Фрейденталь Х. Ханс
Gepubliceerd in: (Москва, Наука, 1969)

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

Математическая логика и теория алгоритмов
door: Гурова Л. М.
Gepubliceerd in: (Москва, Горная книга, 2006)

Математическая логика: пер. с англ.
door: Клини С. К. Стивен Коул
Gepubliceerd in: (Москва, Едиториал УРСС, 2005)

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

Основания теории множеств: пер. с англ.
door: Френкель А. А. Абрахам А.
Gepubliceerd in: (Москва, Мир, 1966)

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

Математическая логика и теория алгоритмов учебное пособие для вузов
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)

Дискретная математика и информатика
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
door: Бирюков Б. В. Борис Владимирович
Gepubliceerd in: (Москва, Едиториал УРСС, 2004)

Теория доказательств: пер. с англ.
door: Такеути Г. Гаиси
Gepubliceerd in: (Москва, Мир, 1978)

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

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

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

Введение в дискретную математику и логику учебное пособие
door: Червенчук В. Д.
Gepubliceerd in: (Омск, Омский ГАУ, 2011)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
door: Бабичева И. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)

Топосы. Категорный анализ логики: пер. с англ.
door: Голдблатт Р.
Gepubliceerd in: (Москва, Мир, 1983)

Математическая логика и теория алгоритмов: учебное пособие
door: Крупский В. Н. Владимир Николаевич
Gepubliceerd in: (Москва, Академия, 2013)

Математический анализ: введение учебно-методическое пособие
Gepubliceerd in: (Улан-Удэ, БГУ, 2019)

Элементы теории множеств и математической логики: учебное пособие
door: Дурнев В. Г. Валерий Георгиевич
Gepubliceerd in: (Ярославль, Изд-во Ярославского ГУ, 1978)

Дискретная математика: учебник
door: Поздняков С. Н. Сергей Николаевич
Gepubliceerd in: (Москва, Академия, 2008)

Формы логики
Gepubliceerd in: (Пекин, Народное изд-во, 2005)

Математическая логика: учебное пособие
door: Ершов Ю. Л. Юрий Леонидович
Gepubliceerd in: (СПб., Лань, 2005)

№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Gepubliceerd in: (1959)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"; Вестник науки Сибири; № 3 (4)
door: Скрипник К. Д. Константин Дмитриевич
Gepubliceerd in: (2012)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
door: Кипнис М. М. Михаил Маркович
Gepubliceerd in: (Челябинск, Изд-во ЧПИ, 1985)

Категориальный синтез логического знания
door: Береговой И. И. Иван Иосифович
Gepubliceerd in: (Львов, Свит, 1990)

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