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		Document Content
Date: 2011-10-04 07:32:01		An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 120,26 KB Share Document on Facebook