[FOM] Church's thesis and Bounded Arithmetic

addamo@wp.pl addamo at wp.pl
Tue Jun 24 17:00:57 EDT 2003

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

More information about the FOM mailing list