Шуменски университет "Епископ Константин Преславски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 46 резултата.

Разширено търсене

Ключова дума да съдържа Математическа логика
Математическая логика
Цб/510.6/Е 84
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1987)
Юрий Л. Ершов; Евгений А. Палютин
Ламбда-исчисление
Цб/510.6/Б 38
Каталог "Книги" | Книги | Библиотека на ДИКПО
Ламбда-исчисление
Его синтаксис и семантика (1985)
Хендрик П. Берендрегт
Математическая логика
Цб/510.6/К 78
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
Дополнительные главы (1984)
Андрей Николаевич Колмогоров; Альберт Г. Драгалин
Элементы математической логики
Цб/510.6/М 32
Каталог "Книги" | Книги | Библиотека на ДИКПО
Элементы математической логики
(1984)
Андрей А. Марков
Введение в математическую логику
Цб/510.6/М 48
Каталог "Книги" | Книги | Библиотека на ДИКПО
Введение в математическую логику
(1984)
Эллиот Мендельсон
Математическая логика и автоматическое доказательство теорем
ЧТ/510.6/Ч 63
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика и автоматическое доказательство теорем
(1983)
Чанг Чень; Ричард Ли
Основания математики
Цб/510.6/Г 47
Каталог "Книги" | Книги | Библиотека на ДИКПО
Основания математики
Теория доказательств (1982)
Д. Гильберт; П. Бернайс
Введение в математическую логику
Цб/510.6/К 78
Каталог "Книги" | Книги | Библиотека на ДИКПО
Введение в математическую логику
(1982)
Андрей Николаевич Колмогоров; Альберт Г. Драгалин
Математическая логика
Цб/510.6/Н 77
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1981)
Инна Львовна Никольская
Що е математическа логика?
ЧТ/510.6/Щ 47
Каталог "Книги" | Книги | Библиотека на ДИКПО
Що е математическа логика?
[Научнопопул. четиво] (1980)
Джон Кросли
Математическая логика
Цб/510.6/Е 84
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1979)
Юрий Л. Ершов; Евгений А. Палютин
Элементы математической логики
Цб/510.6/К 94
Каталог "Книги" | Книги | Библиотека на ДИКПО
Элементы математической логики
Пособие для учащихся 9-10 классов (1977)
Александр Дмитриевич Кутасов
Введение в математическую логику
ЧТ/510.6/М 48
Каталог "Книги" | Книги | Библиотека на ДИКПО
Введение в математическую логику
(1976)
Эллиот Мендельсон
Исследования по теории алгорифмов и математической логике
Цб/510.6/И 92
Каталог "Книги" | Книги | Библиотека на ДИКПО
Исследования по теории алгорифмов и математической логике
Т. 1 - (1976)
Т. 2.
Андрей А. Марков
Математическая логика
ЧТ/510.6/Ш 55
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1975)
Джозеф Шенфилд
Математическая логика
ЧТ/510.6/К 65
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1973)
Стефан Клини
Актуални методологически проблеми на математическата логика
Цб/510.6/Д 99
Каталог "Книги" | Книги | Библиотека на ДИКПО
Актуални методологически проблеми на математическата логика
(1973)
Богдан Димитров Дянков
Элементы математической логики
Цб/510.6/Н 86
Каталог "Книги" | Книги | Библиотека на ДИКПО
Элементы математической логики
(1973)
Петр С. Новиков
Математическая логика, теория алгоритмов и теория множеств
Цб/510.6/A 88
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика, теория алгоритмов и теория множеств
(1972)
Сергей Иванович Адян
Алгебра логики в задачах
Цб/510.6/Г 49
Каталог "Книги" | Книги | Библиотека на ДИКПО
Алгебра логики в задачах
(1972)
Семен Г. Гиндикин