Course Materials for Summer School Course
by Grigori Mints, Stanford University (on Proof Theory)


                          
File 1

                          
File 2

                          
File 3

                          
File 4