Dear Professor Sazonov, I am interested in Church's Thesis. You have written about some connections between CT and the Bounded Arithmetic. Could you give me some references on this theme? Adam Olszewski