von Plato (2001). Structural Proof Theory (0)

by S Negri, J