Studies In Proof Theory Libri

Proof theory of impredicative subsystems of analysis Buchholz Wilfried  Schütte Kurt   -  Bibliopolis, 1988  -  Studies In Proof Theory

Proof theory of impredicative subsystems of analysis - Bibliopolis

Proof theory and logical complexity Girard Jean-Yves   -  Bibliopolis, 1987  -  Studies In Proof Theory

Proof theory and logical complexity - Bibliopolis

Selected papers in proof theory Mints E. Grigorii   -  Bibliopolis, 1992  -  Studies In Proof Theory

Selected papers in proof theory - Bibliopolis