> Publishers' series
-
Selected papers in proof theory Grigorii E. Mints
Napoli [u.a.]: Bibliopolis [u.a.], 1992
-
Proof theory of impredicative subsystems of analysis Wilfried Buchholz; Kurt Schütte
Napoli: Bibliopolis, 1988
-
Proof theory and logical complexity 1 Jean-Yves Girard
Napoli: Bibliopolis, 1987