Как математика ум в порядок приводит

Как математика ум в порядок приводит

Bibliographic Details
Main Author:	Столяр А. А. Абрам Аронович
Language:	Russian
Published:	Минск, Высшая школа, 1991
Edition:	2-е изд., перераб. и доп.
Subjects:	математика логика логические основы математическая логика теория
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36731

Similar Items

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

Математическая теория логического вывода: сборник переводов
Published: (Москва, Наука, 1967)

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

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

Первое знакомство с математической логикой
by: Депман И. Я. Иван Яковлевич
Published: (Ленинград, Знание, 1965)

Как же называется эта книга?: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1981)

Логика в информатике: Методическое пособие
by: Лыскова В. Ю. Вероника Юрьевна
Published: (Москва, Лаборатория Базовых Знаний, 2004)

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

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

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

Логика в статистике: пер. с итал.
by: Джини К. Коррадо
Published: (Москва, Статистика, 1973)

Решение логических и игровых задач: Логико-психологические этюды
by: Шапиро Самуил Иосифович
Published: (Москва, Радио и связь, 1984)

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

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

Логика и проблемы обучения: сборник статей
Published: (Москва, Педагогика, 1977)

Прикладная логика информатики
by: Козачков Л. С. Лев Семенович
Published: (Киев, Наукова думка, 1990)

Исследование логических систем
Published: (Москва, Наука, 1970)

Математика для гуманитариев: учебное пособие
by: Грес П. В. Павел Власович
Published: (Москва, Логос, 2003)

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

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

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

Математика метаматематики: пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Наука, 1984)

Теория моделей: пер. с англ.
by: Кейслер Г. Дж. Говард Джером
Published: (Москва, Мир, 1977)

Дискретная математика: учебное пособие
by: Корниенко А. В. Анатолий Васильевич
Published: (Томск, Изд-во ТПУ, 2000)

Логический словарь-справочник
by: Кондаков Н. И. Николай Иванович
Published: (Москва, Наука, 1975)

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

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

Ч. 1; Дискретная математика
Published: (2000)

Логическое программирование и моделирование систем: учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

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

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

Фундаментальные основы дискретной математики: информационная математика
by: Горбатов В. А. Вячеслав Афанасьевич
Published: (Москва, Наука, 1999)

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

Дискретная математика: Математика для менеджера в примерах и упражнениях; учебное пособие
by: Москинова Г. И. Галина Ивановна
Published: (Москва, Логос, 2000)

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

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

Дискретная математика: учебное пособие
by: Долгих Б. А. Борис Александрович
Published: (Москва, Изд-во МГИУ, 2007)

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

Основания математической логики: пер. с англ.
by: Карри Х. Хаскелл
Published: (Москва, Мир, 1969)