Библиотека БГПУ

Книги

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=исчисление высказываний<.>

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Ершов А.П. Введение в теоретическое программирование. Беседы о методе/А. П. Ершов. - 1977

Ершов Ю.Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 1987

Игошин В.И. Математическая логика и теория алгоритмов/В.И. Игошин. - 2008

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)