Return to Article Details Extending Metacompleteness to Systems with Classical Formulae Download Download PDF