Значок книги

Исследования по теории алгорифмов и математический логике Академия наук CССР, Вычислительный центр ; под редакцией А. А. Маркова и Б. А. Кушнера

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва ВЦ АН СССР 1976
Ключевые слова:	Алгоритмы Математическая логика

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

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

Задачи и упражнения по математической логике и теории алгоритмов
Автор: Игошин В. И.
Год издания: (2006)

Математическая логика и алгоритмические проблемы
Год издания: (1989)

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

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

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

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

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

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

Упражнения по логике
Год издания: (1990)

Учебник по логике
Автор: Гетманова А. Д.
Год издания: (2000)

Упражнения по логике
Автор: Ивлев Ю. В.
Год издания: (1972)

Краткий словарь по логике
Автор: Горский Д. П.
Год издания: (1991)

Современный словарь по логике
Год издания: (1999)

Задачи по логике
Автор: Богуславский В. М.
Год издания: (1948)

Исследования по теории доказательств
Автор: Крайзель Г.
Год издания: (1981)

Смысл и онтология в логике
Автор: Вяткина Н. Б.
Год издания: (1991)

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

Исследования по неклассическим логикам и теории множеств
Год издания: (1979)

Задачи и упражнения по логике
Автор: Яшин Б. Л.
Год издания: (1996)

Элементы теории алгоритмов
Автор: Варпаховский Ф. Л.
Год издания: (1970)

Основы теории элементарных алгоритмов
Автор: Косовский Н. К.
Год издания: (1987)

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

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

Вычислимость и логика
Автор: Булос Д.
Год издания: (1994)

Учимся рассуждать и доказывать
Автор: Никольская И. Л.
Год издания: (1989)

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

Непрерывная логика. Теория и применения
Автор: Волгин Л. И.
Год издания: (1990)

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

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

Исследования по формализованным языкам и неклассическим логикам
Год издания: (1974)

Исследования по неклассическим логикам и формальным системам
Год издания: (1983)

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

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

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

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

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

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

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

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