Теоретичні та методологічні основи програмування 40 14 UDC 004.42:510.69 13 УДК 004.42:510.69 13 логічний наслідок 12 logical consequence 11 logic 10 логика 9 логическое следствие 9 логіка 9 предикат 8 predicate 7 секвенційне числення 7 sequent calculus 5 equality 4 partial predicate 4 секвенциальное исчисление 4 частковий предикат 4 ontology 3 semantics 3 онтологія 3 равенство 3 рівність 3 семантика 3 UDC 004.62 2 UDC 681.3 2 algebra 2 completeness 2 composition 2 modal logic 2