Terms for subject Programming containing set theory

English	Russian
axioms for the resource set theory	аксиомы теории комплектности ресурсов (ssn)
core theories required by resource set theory	базовые теории, необходимые для теории комплектности ресурсов (ssn)
defined functions of resource set theory	определяющие функции в теории комплектности ресурсов (ssn)
definitional extensions required by resource set theory	дефинициональные расширения, необходимые для теории комплектности ресурсов (ssn)
definitions for the resource set theory	определения теории комплектности ресурсов (ssn)
informal semantics of the resource set theory	неформальная семантика теории комплектности ресурсов (ssn)
primitive functions of resource set theory	примитивные функции в теории комплектности ресурсов (ssn)
resource set theory	теория комплектности ресурсов (ssn)