TY  - BOOK
AU  - Матвієнко,М.П.
ED  - Сумський державний університет
TI  - Математична логіка та теорія алгоритмів: навчальний посібник для студ. вищ. навч. закл. 
SN  - 9789662609745
PY  - 2017///
CY  - Київ
PB  - Ліра-К
KW  - Математика
KW  - Математична логіка
KW  - Алгоритм
KW  - квантори
KW  - теорема дедукції
KW  - алгоритми
KW  - модальна логіка
KW  - інтуїціоністська логіка
N1  - Оригінал запису за посиланням; https://kubg.libs.net.ua/kubg_recs/0000021701.txt
ER  -