Математическая теория логического вывода: сборник переводов

Математическая теория логического вывода: сборник переводов

Bibliographic Details
Other Authors:	Идельсон А. В. (редактор), Минц Г. Е.
Language:	Russian
Published:	Москва, Наука, 1967
Series:	Математическая логика и основания математики
Subjects:	математика математическая теория математическая логика логические выводы числа семантические таблицы предикаты
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67811

Similar Items

Теория логического вывода
by: Смирнов В. А. Владимир Александрович
Published: (Москва, РОССПЭН, 1999)

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

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

Теория логического вывода
Published: (Москва, Наука, 1973)

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

Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Наука, 1979)

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

Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)

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

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

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

Математическая логика: учебное пособие
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Академия, 2006)

Как математика ум в порядок приводит
by: Столяр А. А. Абрам Аронович
Published: (Минск, Высшая школа, 1991)

Лекции по математической логике: учебное пособие
by: Мощенский В. А. Владимир Андреевич
Published: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)

Математическая логика: учебник
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)

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

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

Ч. 3; Избранные главы высшей математики
by: Колобов А. М. Александр Михайлович
Published: (1971)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

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

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

Исследование алгоритмов логического вывода; Информационные технологии в науке, управлении, социальной сфере и медицине
by: Осадчая И. А.
Published: (2015)

Дискретная математика: учебник
by: Спирина М. С. Марина Савельевна
Published: (Москва, Академия, 2006)

Дискретная математика: учебник
by: Спирина М. С. Марина Савельевна
Published: (Москва, Академия, 2007)

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

Логика и теория познания: межвузовский сборник
Published: (Ленинград, Изд-во ЛГУ, 1990)

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

Синтаксические и семантические исследования неэкстенсиональных логик: сборник статей
Published: (Москва, Наука, 1989)

Основы теории статистических выводов: пер. с англ.
by: Питмен Э. Эдвин
Published: (Москва, Мир, 1986)

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

Предметная область в логической семантике: монография
by: Бессонов А. В. Александр Владимирович
Published: (Новосибирск, Наука, 1985)

Математическая логика: учебное пособие
by: Колмогоров А.Н. Андрей Николаевич
Published: (Москва, УРСС, 2005)

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2006)

Математическая логика и теория алгоритмов: учебник
by: Судоплатов С. В.
Published: (Москва, Инфра-М, 2008)

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2012)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
by: Лихтарников Л. М. Леонид Моисеевич
Published: (СПб., Лань, 2009)

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