Web pages of Luca Spada

A marginal note on algebraic proof theory delivered at the conference Topology, Algebra, and Category in Logic -TACL- IV. Amsterdam, 10 July 2009.

Small advances in the algebraic proof theory of substructural logics

This entry was last modified on the 5th October 2017 by Luca Spada. You can leave a comment, or trackback from your own site.