A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique

First Page		Document Content
Date: 2004-10-28 08:33:50		A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 187,87 KB Share Document on Facebook