A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique - Fourier analysis - Document - PDFSEARCH.IO

First Page	Meta 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

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