STUDIES IN PROOF THEORY
Managing Editors: C. Cellucci. J.-Y. Girard, D. Prawitz, H. Schwichtenberg. Advisory Editors: P. Aczel, C. Böhm, W. Buchholz, E. Engeler, S. Feferman, Ch. Goad, W. Howard, G. Huet, D. Leivant, P. Martin-Löf, G.E. Minc, W. Pohlers, D. Scott, W. Sieg, C. Smorynski, R. Statman, S. Takasu, G. Takeuti

1. J.-Y. Girard, Proof Theory and Logical Complexity, 1, pp.506, rilegato, 1987.
ISBN 88-7088-123-7	€ 77,00
2. W. Buchholz, K. Schütte, Proof Theory of Impredicative Subsystems of Analysis, pp. 120, rilegato, 1988.
ISBN 88-7088-166-0	€ 41,00
3. G.E. Mintz, Selected Papers in Proof Theory, pp. 296, rilegato, 1992.
ISBN 88-7088-228-4	€ 62,00
Pubblicato in coedizione con North-Holland.

LECTURE NOTES

1. P. Martin-Löf, Intuitionistic Type Theory, pp. XII-92, 1984.
ISBN 88-7088-105-9	€ 21,00
2. G. Jäger, Theories for admissible sets. A unifying approach to Proof Theory, pp. VIII-168, 1986.
ISBN 88-7088-149-0	€ 26,00
3. S.R. Buss, Bounded Arithmetic, pp. X-222,1986.
ISBN 88-7088-150-4	€ 31,00