Home > Uncategorized > An intuitionistic logic that proves Markov’s principle

An intuitionistic logic that proves Markov’s principle

July 2nd, 2010 07:36 Leave a comment Go to comments