On weak Markov's principle (2002)

Cached

Download Links

by Ulrich Kohlenbach
Venue:MLQ MATH. LOG. Q
Citations:4 - 1 self