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