proof theory

相關詞條：

• proof technique
• proof scheme
• proof coin
• proof reading program
• proof stress
• proof of program correctness
• proof by documentary evidence
• proof of loss
• proof diagram
• proofer