Bibliopolis Libri
Libri editi da Bibliopolis pubblicati nella collana Studies In Proof Theory
libro
Proof theory of impredicative subsystems of analysis
Buchholz Wilfried, Schütte Kurt
Bibliopolis , 1988
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Proof theory and logical complexity
Girard Jean-Yves
Bibliopolis , 1987
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Theory of figuration
Cassirer Ernst
Bibliopolis , 2012
Studies In Proof Theory
libro
Selected papers in proof theory
Mints E. Grigorii
Bibliopolis , 1992
Studies In Proof Theory
disp. incerta
ACQUISTA