Бібліотека Київського столичного університету імені Бориса Грінченка

Електронний каталог бібліотеки

Зона пошуку

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=теорема дедукції<.>)

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

Матвієнко М. П. Математична логіка та теорія алгоритмів/М. П. Матвієнко, С. П. Шаповалов. - 2018

Матвієнко М. П. Математична логіка та теорія алгоритмів/М. П. Матвієнко. - 2017

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)