Значок книги

Основы теоретической логики Д. Гильберт, В. Аккерман

Сохранить в:

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

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

Основания математической логики
Автор: Карри Х. Б.
Год издания: (1969)

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

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

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

Элементы математической логики и теории множеств
Автор: Вольвачев Р. Т.
Год издания: (1986)

Элементы математической логики и теории множеств
Автор: Иляков В. А.
Год издания: (1973)

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

Актуальные вопросы математической логики и теории множеств
Год издания: (1975)

Построение систем управления с помощью математической логики
Автор: Буки А. А.
Год издания: (1979)

Избранные вопросы алгебры и логики
Год издания: (1973)

Наука логики
Автор: Гегель
Год издания: (1972)

Вопросы логики
Год издания: (1955)

Вопросы логики
Год издания: (1959)

Практические вопросы логики
Автор: Кузина Е. Б.
Год издания: (1992)

Строгий мир логики
Автор: Ивин А. А.
Год издания: (1988)

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

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

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

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

Основания логики оценок
Автор: Ивин А. А.
Год издания: (1970)

Философско-методологические аспекты релевантной логики
Автор: Войшвилло Е. К.
Год издания: (1988)

Наука логики
Автор: Гегель
Год издания: (1970)

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

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

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

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

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

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

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

Элементы модальной логики
Автор: Костюк В. Н.
Год издания: (1978)

Основания временной логики
Автор: Караваев Э. Ф.
Год издания: (1983)

Диалектическая логика как продолжение формальной логики
Автор: Николаев И. В.
Год издания: (1998)

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

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

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

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

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

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

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

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