Samuel R. Buss.
"Lectures on Proof Theory."
Technical Report number SOCS-96.1, School of Computer Science, McGill University 1996, 117 pages.
Scribe notes from a series of lectures held in Bellairs Research Institute, Holetown, Barbados, March 1995.
Scribes: K. Regan, J. Toran, A. Maciel, E. Allender, P.
McKenzie, P. Clote, M. Bonet, R. Raz, C. Zamora, C. Lauteman, T. Pitassi.
Editor: Denis Therien
Download notes: postscript or PDF.
Back to Sam Buss's publications page.