Terms containing deductive proof

Subject	English	Russian
math.	deductive proof	доказательство по выводу
math.	deductive proof	дедуктивное доказательство
progr.	deductive proofs	дедуктивные доказательства (ssn)
progr.	introduction to deductive proofs	введение в дедуктивные доказательства (ssn)