Back to Results
First PageMeta Content



A Sequent Calculus for Nominal Logic Murdoch Gabbay ยด LIX Ecole Polytechnique
Add to Reading List

Document Date: 2004-10-28 08:33:50


Open Document

File Size: 187,87 KB

Share Result on Facebook
UPDATE