1![The depth of intuitionistic cut free proofs Samuel R. Buss∗ Department of Mathematics University of California, San Diego La Jolla, CA, USA The depth of intuitionistic cut free proofs Samuel R. Buss∗ Department of Mathematics University of California, San Diego La Jolla, CA, USA](https://www.pdfsearch.io/img/7c1ffe4077e48535f280bc905d737f98.jpg) | Add to Reading ListSource URL: www.phil.uu.nl- Date: 2008-12-12 07:16:31
|
---|
2![Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego](https://www.pdfsearch.io/img/269fe7416cf5fac4d9e2adf12d6b7b73.jpg) | Add to Reading ListSource URL: euclid.ucsd.eduLanguage: English - Date: 2013-03-11 00:53:25
|
---|
3![CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA](https://www.pdfsearch.io/img/9ce9bfed17467f56668bf08fb266af19.jpg) | Add to Reading ListSource URL: math.ucsd.eduLanguage: English - Date: 2002-01-14 17:15:00
|
---|
4![The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989](https://www.pdfsearch.io/img/90c682956f5fe194ec5774b3836805e2.jpg) | Add to Reading ListSource URL: www.math.ucsd.eduLanguage: English - Date: 2002-07-11 12:08:00
|
---|
5![On Herbrand’s Theorem Samuel R. Buss University of California, San Diego On Herbrand’s Theorem Samuel R. Buss University of California, San Diego](https://www.pdfsearch.io/img/ca741dace54a0177e75314601f801490.jpg) | Add to Reading ListSource URL: math.ucsd.eduLanguage: English - Date: 2002-06-25 19:08:00
|
---|