Relations of logical consequence in logics of partial predicates with composition of predicate complement / Shkilniak, O. S. (2019)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0001016106
  Problems in programming  Б - 2020  /     Issue (2019, № 3)

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

Бібліографічний опис:
Шкільняк О. С.  Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення. Проблеми програмування. 2019. № 3. С. 11-27. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001016106

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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209