Матвієнко, М. П., <br/><br/>Математична логіка та теорія алгоритмів :  навчальний посібник для студ. вищ. навч. закл. / М. П. Матвієнко; Сумський державний університет  - Київ :  Ліра-К,  2017  - 211 с. <br/><br/><br/><br/><label>ISBN: </label>9789662609745  100.00 грн. <br/><br/><label>ISSN: </label><br/><br/><label>Subjects--Topical Terms: </label><br/>Математика--Математична логіка--Алгоритм<br/><br/><label>Subjects--Index Terms: </label>квантори теорема дедукції алгоритми модальна логіка інтуїціоністська логіка <br/><br/><label>Universal Decimal Class. No.: </label>510.6+510.5(075)510.5(075)