Web pages of Luca Spada

A introductory talk on unification and projectivity. At the end some of the results contained here are announced.

Projectivity and unification in many-valued logic

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