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