Structural proof theory - Negri, Sara 1967-; Von Plato, Jan. (Cambridge Cambridge University Press, 2001)
Dr. Henry Adorna (recommending faculty) : CS Dept.
Keywords: Proof theory