Church's thesis is consistent with epistemic arithmetic (1985)

by R C Flagg
Venue:In Intensional Mathematics