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)
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)