An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 - Intuitionistic logic - Document - PDFSEARCH.IO

First Page	Meta Content
	An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 Add to Reading List Document Date: 2011-10-04 07:32:01 Open Document File Size: 120,26 KB Share Result on Facebook

An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 Add to Reading List