Значок книги

Введение в математическую логику А. Н. Колмогоров, А. Г. Драгалин

Сохранить в:

Библиографические подробности
Автор:	Колмогоров А. Н.
Другие авторы:	Драгалин А. Г.
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва Издательство МГУ 1982
Ключевые слова:	Математическая логика

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

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

Введение в логику
Год издания: (1967)

Введение в логику
Автор: Ненашев М. И.
Год издания: (2004)

Введение в логику и методологию дедуктивных наук
Автор: Тарский А.
Год издания: (1948)

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

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

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

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

Введение в индийскую логику навья-ньяя
Автор: Инголлс Д. Г. Х.
Год издания: (1974)

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

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

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

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

Развиваем логику
Автор: Девина И. А.
Год издания: (2000)

Введение в теорию вероятностей и математическую статистику
Автор: Гмурман В. Е.
Год издания: (1966)

Логический анализ понятия количества
Автор: Сайфуллаев Н. М.
Год издания: (1989)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Рекурсивный математический анализ
Автор: Гудстейн Р. Л.
Год издания: (1970)

Основы теоретической логики
Автор: Гильберт Д.
Год издания: (1947)

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

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

Теория моделей и ее применение
Год издания: (1988)

Теория моделей
Автор: Кейслер Г. Д.
Год издания: (1977)

Теория непрерывных моделей
Автор: Кейслер Г. Дж.
Год издания: (1971)

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

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