Tag: meta

Deduction Theorem

The deduction theorem states that if a statement can be derived from…

Steven Haynes