теория доказательства

Terms containing теория доказательства | all forms | in specified order only

Subject	Russian	Chinese
gen.	в доказательствах теории много недостатков и уязвимых мест	论证尚有疏罅
gen.	программа для доказательства элементарных логических теорий	基本逻辑理论证明程序
tech.	программа доказательства теорией	定理证明程序
math.	теория доказательств	元数学 (в математической логике)
law	теория доказательств	证据理论
math.	теория доказательств	证明论
gen.	теория доказательств Гильберта	希尔伯特证明论
tech.	теория доказательства	证明论
gen.	финитная теория доказательства	有限性证明理论