Archive

Posts Tagged ‘axiom’

An intuitionistic logic that proves Markov’s principle

July 2nd, 2010 07:36 View Comments