[FOM] Cobham's paper "Effectively Decidable Theories"

Timothy Y. Chow tchow at alum.mit.edu
Thu Jul 3 22:06:08 EDT 2014


Back on June 6, Richard Heck wrote:

> Cobham's paper:
> 
> @INCOLLECTION{Cobham:EfDecThs,
>   author = {Alan Cobham},
>   title = {Effectively Decidable Theories},
>   pages = {391--5},
>   address = {Princeton},
>   booktitle = {Summaries of Talk Presented at the Summer Institute for
> Symbolic Logic, Cornell University, 1957},
>   edition = {2d},
>   editor = {A. Tarski and others},
>   publisher = {Institute for Defense Analyses},
>   year = {1960}
> }
> 
> is hard to find. I have never seen it, in fact.

The volume is in our library and I asked our librarian to scan it in.
I have posted it on my webpage:

http://alum.mit.edu/www/tchow/cobham.pdf

Tim


More information about the FOM mailing list