Markov’s principle, Church’s thesis and Lindelöf’s theorem (1993)

by H Ishihara
Venue:Idag. Math