TR-96-09
Uniform Provability in Classical Logic
Nadathur, G. 19 March, 1996.
Communicated by Gopalan Nadathur.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).
Nadathur, G. 19 March, 1996.
Communicated by Gopalan Nadathur.
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).