[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