Значок книги

Как математика ум в порядок приводит А. А. Столяр

Сохранить в:

Библиографические подробности
Автор:	Столяр А. А.
Тип документа:	Книга
Язык:	Russian
Год издания:	Минск Вышэйшая школа 1991
Рубрика:	Логические основы
Ключевые слова:	Математика Логические основы Математическая логика

Схожие документы

Дискретная математика и математическая логика
Автор: Аляев Ю. А.
Год издания: (2006)

Математическая логика и дискретная математика
Автор: Карпов В. Г.
Год издания: (1977)

О логике математической статистики
Автор: Левин А. Ю.
Год издания: (1989)

Механика и прикладная математика
Автор: Блехман И. И.
Год издания: (1983)

Механика и прикладная математика
Автор: Блехман И. И.
Год издания: (1990)

Математическая логика
Автор: Колмогоров А. Н.
Год издания: (1984)

"Искусственный интеллект", формальная этика и морально-правовой выбор
Автор: Лобовиков В. О.
Год издания: (1988)

Симметрическая конструктивная логика
Автор: Заславский И. Д.
Год издания: (1978)

Математика и логика цифровых устройств
Автор: Калбертсон Д. Т.
Год издания: (1965)

Логика в статистике
Автор: Джини К.
Год издания: (1973)

Искусство правильно мыслить
Автор: Ивин А. А.
Год издания: (1990)

Искусство правильно мыслить
Автор: Ивин А. А.
Год издания: (1986)

Азбука логичного мышления
Автор: Петров Ю. А.
Год издания: (1991)

Азбука аксиоматического метода
Автор: Марнянский И. А.
Год издания: (1992)

Гомоморфизмы и модели
Автор: Гастев Ю. А.
Год издания: (1975)

Прикладная логика
Автор: Непейвода Н. Н.
Год издания: (1997)

Введение в математическую логику
Автор: Колмогоров А. Н.
Год издания: (1982)

Логика, мышление, информация
Автор: Брюшинкин В. Н.
Год издания: (1988)

Прикладная логика информатики
Автор: Козачков Л. С.
Год издания: (1990)

О выразимости логических связок в неклассических логиках
Автор: Яшин А. Д.
Год издания: (1983)

Выразимость в исчислениях высказываний
Автор: Раца М. Ф.
Год издания: (1991)

Элементарное введение в символическую логику
Автор: Бродский И. Н.
Год издания: (1972)

Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Год издания: (1965)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1965)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1979)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1972)

Задачник по математической логике
Автор: Горбатов В. А.
Год издания: (1972)

Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
Автор: Яшин А. Д.
Год издания: (2000)

Математическая логика
Автор: Колмогоров А. Н.
Год издания: (2006)

Математический интуиционизм
Автор: Драгалин А. Г.
Год издания: (1979)

Диаграммы Венна
Автор: Кузичев А. С.
Год издания: (1968)

Что такое математическая логика
Автор: Калужнин Л. А.
Год издания: (1964)

Вопросы кибернетики
Год издания: (1982)

Математическая логика
Год издания: (1991)

Проблема неполноты теории и ее гносеологическое значение
Автор: Антипенко Л. Г.
Год издания: (1986)

Математическая логика
Автор: Игошин В. И.
Год издания: (2012)

Многоцветная логика
Автор: Бизам Д.
Год издания: (1978)

Ламбда-исчисление
Автор: Барендрегт Х. П.
Год издания: (1985)

Игра и логика
Автор: Бизам Д.
Год издания: (1975)

Основания математики
Автор: Гильберт Д.
Год издания: (1979)