Archive

Posts Tagged ‘logical connectives’

An intuitionistic logic that proves Markov’s principle

July 2nd, 2010 07:36 View Comments