Exported entries (formatted text)

Export more entries in formatted text to add them to this list.

Negri, Sara ; von Plato, Jan & Ranta, Aarne (2001). Structural Proof Theory. Cambridge University Press.