TR-95-12

Uniform Provability in Classical Logic

Nadathur, Gopalan. 30 November, 1995.
Communicated by Gopalan Nadathur.
Superseded By: This Technical Report has been superseded by TR-96-09. (updated 06/08/01)
Obsolete: Yes (updated 12/31/69)