Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC - Sequent calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC Add to Reading List Document Date: 2013-11-13 07:57:58 Open Document File Size: 142,22 KB Share Result on Facebook

Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGICAdd to Reading List