Основания математической логики: пер. с англ.

Основания математической логики: пер. с англ.

Chi tiết về thư mục
Tác giả chính:	Карри Х. Хаскелл
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Москва, Мир, 1969
Những chủ đề:	математика математическая логика теория импликация отрицание кванторы модальности
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36699

Những quyển sách tương tự

Дискретная математика. Контролирующие материалы к тестированию
Bằng: Бабичева И. В.
Được phát hành: (Санкт-Петербург, Лань, 2022)

Содержательная семантика модальной логики
Bằng: Ивлев Ю. В. Юрий Васильевич
Được phát hành: (Москва, Изд-во МГУ, 1985)

Проблема логического следования в математической логике: лекция
Bằng: Джиджян Р. З.
Được phát hành: (Ереван, Изд-во Ереванского ун-та, 1981)

Математическая логика. Логика предикатов. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
Bằng: Петрова Л. П.
Được phát hành: (Воронеж, ВГУ, 2015)

Топосы. Категорный анализ логики: пер. с англ.
Bằng: Голдблатт Р.
Được phát hành: (Москва, Мир, 1983)

Применение математической логики и теории графов в обработке экономической информации: учебное пособие
Bằng: Полгородник Н. П. Нинель Петровна
Được phát hành: (Киев, [Б. и.], 1972)

№ 41 : Проблемы методологии и логики наук; Ученые записки
Được phát hành: (1962)

Элементы математической логики
Bằng: Новиков П. С. Петр Сергеевич
Được phát hành: (Москва, Наука, 1973)

Дискретная математика. Математика для менеджера в примерах и упражнениях: учебное пособие
Bằng: Москинова Г. И. Галина Ивановна
Được phát hành: (Москва, Логос, 2007)

Основы математической логики
Bằng: Паршенкова Ю. А.
Được phát hành: (Москва, РТУ МИРЭА, 2023)

Дискретная математика учебное пособие
Bằng: Бекарева Н. Д.
Được phát hành: (Новосибирск, НГТУ, 2019)

Язык логики: пер. с англ.
Bằng: Фрейденталь Х. Ханс
Được phát hành: (Москва, Наука, 1969)

Основы математической логики учебное пособие
Bằng: Людковский С. В.
Được phát hành: (Москва, РТУ МИРЭА, 2023)

Основы математической логики учебное пособие
Bằng: Репницкий В. Б.
Được phát hành: (Екатеринбург, ЕАСИ, 2015)

Модальная интерпретация действительности Монография
Bằng: Мёдова А. А.
Được phát hành: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2020)

Основания математики. Теория доказательств: пер. с нем.
Bằng: Гилберт Д. Давид
Được phát hành: (Москва, Наука, 1982)

Анализ документооборота на предприятии; Молодежь и современные информационные технологии
Bằng: Агафонов В. С.
Được phát hành: (2006)

Что такое математическая логика?
Bằng: Калужнин Л. А. Лев Аркадьевич
Được phát hành: (Москва, Наука, 1964)

Вводный курс математической логики: учебное пособие
Bằng: Успенский В. А. Владимир Андреевич
Được phát hành: (Москва, Изд-во МГУ, 1991)

Математическая логика: учебник
Bằng: Никольская И. Л. Инна Львовна
Được phát hành: (Москва, Высшая школа, 1981)

Элементы математической логики
Bằng: Марков А. А. Андрей Андреевич
Được phát hành: (Москва, Изд-во МГУ, 1984)

Логика. Общий курс формальной логики: учебник для вузов
Bằng: Грядовой Д. И. Дмитрий Иосифович
Được phát hành: (Москва, ЮНИТИ, 2010)

Вводный курс математической логики
Bằng: Успенский В. А. Владимир Андреевич
Được phát hành: (Москва, Физматлит, 2007)

Элементы теории множеств и математической логики: учебное пособие
Bằng: Дурнев В. Г. Валерий Георгиевич
Được phát hành: (Ярославль, Изд-во Ярославского ГУ, 1978)

Математические основания информатики учеб. пособие
Bằng: Червенчук И. В.
Được phát hành: (Омск, ОмГТУ, 2023)

Логика с элементами математической логики Учебник
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2023)

Логика с элементами математической логики Учебник
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2025)

Теория логического вывода
Được phát hành: (Москва, Наука, 1973)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
Bằng: Ивс Г.
Được phát hành: (Москва, Знание, 1968)

Основы начального курса математики. Элементы математической логики учебно-методическое пособие для студентов, обучающихся по направлению подготовки педагогическое образование профиля «начальное образование»
Bằng: Ондар Ч. М.
Được phát hành: (Кызыл, ТувГУ, 2018)

Элементарная логика
Bằng: Зегет В. Вольфганг
Được phát hành: (Москва, Высшая школа, 1985)

Актуализация прецедентных феноменов в рекламном тексте
Bằng: Рагимова Ф. С.
Được phát hành: (Кемерово, КемГУ, 2011)

Философия грамматики: пер. с англ.
Bằng: Есперсен О. Отто
Được phát hành: (Москва, УРСС, 2002)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1976)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1984)

Задачи по теории множеств, математической логике и теории алгоритмов
Bằng: Лавров И. А. Игорь Андреевич
Được phát hành: (Москва, Наука, 1984)

Основы дискретной математики: учебное пособие
Bằng: Галиев Ш. И. Шамиль Ибрагимович
Được phát hành: (Казань, [Б. и.], 1978)

Математическая логика: пер. с англ.
Bằng: Клини С. К. Стефан Коул
Được phát hành: (Москва, Мир, 1973)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Được phát hành: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
Bằng: Гжегорчик А. Анджей
Được phát hành: (Москва, Наука, 1972)