(untitled) - Sara Negri (Cambridge , UK, 2001)
Keywords: proof theory