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

First Page		Document Content
Date: 2013-11-13 07:57:58		Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC Add to Reading List Source URL: www.filozof.uni.lodz.pl Download Document from Source Website File Size: 142,22 KB Share Document on Facebook