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

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

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: (Москва, Наука, 1984)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ч. 2 : Теория множеств; Справочная книга по математической логике
Gepubliceerd in: (1982)

Теория множеств и континуум-гипотеза
door: Коэн П. Д. Пол Дж.
Gepubliceerd in: (Москва, Мир, 1969)

Логика и развитие научного знания: Межвузовский сборник
Gepubliceerd in: (СПб., Изд-во СПбГУ, 1992)

Задачи по теории множеств, математической логике и теории алгоритмов
door: Лавров И. А. Игорь Андреевич
Gepubliceerd in: (Москва, Физматлит, 2006)

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

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

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева); Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 6 : Экономика. Философия, социология и культурология
door: Московченко А. Д. Александр Дмитриевич
Gepubliceerd in: (2011)

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

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

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

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

Вып. 5; Логические исследования
Gepubliceerd in: (1998)

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