Archive

Posts Tagged ‘intuitionistic logic’

An intuitionistic logic that proves Markov’s principle

July 2nd, 2010 07:36 View Comments