С47 |
Следзінський, І. Ф. Математична логіка і теорія алгоритмів [Текст] : навч.-метод. посіб. для проведення практичних занять за вимогами кредитно-модульної системи / І. Ф. Следзінський. – Тернопіль : ТНПУ, 2005. – 60 с. – 5.00.
Містить матеріал з математичної логіки.
|