Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення / Шкільняк О. С. (2019)
Ukrainian

English  Problems in programming   /     Issue (2019, 3)

Shkilniak O. S.
Relations of logical consequence in logics of partial predicates with composition of predicate complement


Cite:
Shkilniak, O. S. (2019). Relations of logical consequence in logics of partial predicates with composition of predicate complement. Problems in programming, 3, 11-27. http://jnas.nbuv.gov.ua/article/UJRN-0001016106 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна