1. Selected papers in proof theory / Grigorii E. Mints. Studies in proof theory. Monographs ; 3., Studies in proof theory. Monographs ; 3 Mint︠s︡, G. E. [Browse] Napoli : Bibliopolis ; Amsterdam ; New York : North-Holland, ©1992. Book Loading...Lewis Library - Stacks » QA9.54 .M56 1992
2. Proof theory and logical complexity / Jean-Yves Girard. Studies in proof theory ; 1., Studies in proof theory ; 1 Girard, Jean-Yves [Browse] Napoli : Bibliopolis, ©1987- Book Loading...Lewis Library - Stacks » QA9.54 .G57 1987
3. Bounded arithmetic / Samuel R. Buss. Studies in proof theory ; 3., Studies in proof theory ; 3 Buss, Samuel R. [Browse] Napoli : Bibliopolis, ©1986. Book Loading...Lewis Library - Stacks » QA9.56 .B87 1986
4. Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger. Studies in proof theory ; 2 Jäger, Gerhard, Dr. [Browse] Napoli : Bibliopolis, 1986. Book Loading...ReCAP - Remote Storage » QA9.54 .J34 1986
5. Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Studies in proof theory ; 1., Studies in proof theory. Lecture notes ; 1 Martin-Löf, Per, 1942- [Browse] Napoli : Bibliopolis, 1984. Book Loading...Firestone Library - Stacks » QA9.47 .M37
6. Bounded arithmetic / Samuel R. Buss. Studies in proof theory. Lecture notes ; 3., Studies in proof theory. Lecture notes ; 3 Buss, Samuel R. [Browse] Napoli : Bibliopolis, c1986. Book ReCAP - Remote Storage » JSE 11-809
7. Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger. Studies in proof theory ; 2 Jäger, Gerhard, Dr. [Browse] Napoli : Bibliopolis, 1986. Book ReCAP - Remote Storage » JSE 88-866
8. Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Studies in proof theory ; 1 Martin-Löf, Per, 1942- [Browse] Napoli : Bibliopolis, 1984. Book ReCAP - Remote Storage » JSE 87-195