Математична логіка та теорія алгоритмів

Матвієнко, М. П. Математична логіка та теорія алгоритмів : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; СумДУ. — Київ : Ліра-К, 2015. — 212 с. : іл.