Разширено търсене
Класификационен индекс да съдържа 510.6
Ч/510.6/Ч 82
Каталог "Книги" | Книги | Библиотека на Колеж-Добрич
Отделими множества от променливи на функциите
(2005)
Кирил Чимев
Ч/510.6/Л 71
Каталог "Книги" | Книги | Библиотека на Колеж-Добрич
Первое знакомство с математической логикой
(1997)
Л. Лихтарников
ЧТ/510.6/Г 22
Каталог "Книги" | Книги | Библиотека на ДИКПО
Забавни фолклорни задачи, фокуси и игри
За деца от 7 до 15 години и техните учители и родители
(1993)
Иван Ганчев Донев
ЦБ 49258
Каталог "Книги" | Книги | Централна библиотека на ШУ
Вычислимост и логика
[Уч. пособие для старшекурсников и аспирантов]
(1994)
Джордж Булос; Ричард Джеффри
ЧТ/510.6/М 39
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математически етюди за малките ученици
(1991)
Кирил Георгиев Банков
ЦБ 52807
Каталог "Книги" | Книги | Централна библиотека на ШУ
Essentials for High School Mathematics
(1989)
Martin P. Cohen; et al.
ЦБ 45219
Каталог "Книги" | Книги | Централна библиотека на ШУ
Математика в образах
(1989)
Ю. Попов; Юрий В. Пухначев
Цб/510.6/Е 84
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
(1987)
Юрий Л. Ершов; Евгений А. Палютин
ЧТ/510.6/В 17
Цб/510.6/Б 38
Каталог "Книги" | Книги | Библиотека на ДИКПО
Ламбда-исчисление
Его синтаксис и семантика
(1985)
Хендрик П. Берендрегт
ЧТ/510.6/Л 44
Цб/510.6/М 32
Каталог "Книги" | Книги | Библиотека на ДИКПО
Элементы математической логики
(1984)
Андрей А. Марков
Цб/510.6/М 48
Каталог "Книги" | Книги | Библиотека на ДИКПО
Введение в математическую логику
(1984)
Эллиот Мендельсон
Цб/510.6/О 87
Каталог "Книги" | Книги | Библиотека на ДИКПО
Задачи по теории множеств, математической логике и теории алгоритмов
(1984)
Игорь А. Лавров; Лариса Л. Максимова
Цб/510.6/К 78
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика
Дополнительные главы
(1984)
Андрей Николаевич Колмогоров; Альберт Г. Драгалин
ЧТ/510.6/Ч 63
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика и автоматическое доказательство теорем
(1983)
Чанг Чень; Ричард Ли
ЧТ/510.6/П 30
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическата логика и някои въпроси на обучението по математика
(1983)
Илия Пашов
Цб/510.6/Г 47
Каталог "Книги" | Книги | Библиотека на ДИКПО
Основания математики
Теория доказательств
(1982)
Д. Гильберт; П. Бернайс
Цб/510.6/К 78
Каталог "Книги" | Книги | Библиотека на ДИКПО
Введение в математическую логику
(1982)
Андрей Николаевич Колмогоров; Альберт Г. Драгалин
Цб/510.6/Н 50