Значок книги

Вычислимость и логика Дж. Булос, Р. Джеффри ; перевод с английского В. А. Душского, Е. Ю. Ногиной

Сохранить в:

Библиографические подробности
Автор:	Булос Д.
Другие авторы:	Джеффри Р.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Мир 1994
Предметная рубрика:	счетность диагонализация модели арифметики модальная логика
Ключевые слова:	Математическая логика

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика
Автор: Ершов Ю. Л.
Год издания: (1987)

Математическая логика
Автор: Ершов Ю. Л.
Год издания: (1979)

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

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

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

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

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

Логика, алгебра и базы данных
Автор: Грэй П.
Год издания: (1989)

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

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

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

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

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

Логика
Автор: Гетманова А. Д.
Год издания: (1995)

Логика
Автор: Горский Д. П.
Год издания: (1963)

Логика
Автор: Горский Д. П.
Год издания: (1958)

Логика
Автор: Гетманова А. Д.
Год издания: (1986)

Логика
Автор: Горский Д. П.
Год издания: (1961)

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

Логика
Автор: Бойко А. П.
Год издания: (1994)

Логика
Автор: Бойко А. П.
Год издания: (1994)

Логика
Автор: Курбатов В. И.
Год издания: (1996)

Логика
Автор: Ивлев Ю. В.
Год издания: (2001)

Логика
Автор: Ивин А. А.
Год издания: (2000)

Логика
Автор: Ивин А. А.
Год издания: (1999)

Логика
Автор: Ивлев Ю. В.
Год издания: (1992)

Логика
Автор: Берков В. Ф.
Год издания: (2004)

Логика
Автор: Виноградов С. Н.
Год издания: (1953)

Логика
Автор: Баженов М. В.
Год издания: (2006)