[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