Теоретичні та методологічні основи програмування 71 23 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 UDC 004.62 3 ontology 3 semantics 3 УДК 004.4 3 УДК 004.62 3 онтологія 3 равенство 3 рівність 3 семантика 3 004.415 2 ALC 2 RDM 2