First Page | Document Content | |
---|---|---|
Date: 2004-10-28 08:33:50 | A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole PolytechniqueAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 187,87 KBShare Document on Facebook |