@article{brad:exte10, author = {Ross T. Brady}, title = {Extending Metacompleteness to Systems with Classical Formulae}, journal = {The Australasian Journal of Logic}, year = 2010, volume = 8, pages = {9-30}, URL = {http://www.philosophy.unimelb.edu.au/ajl/2010/}, }