Return to Article Details Arthur W. Burks’s Theorem on Adding a Superfluous Condition Download Download PDF