Archive

Posts Tagged ‘Hugo Herbelin’

An intuitionistic logic that proves Markov’s principle

July 2nd, 2010 07:36 View Comments