[FOM] A question concerning incompleteness

[Mitchell Spector]

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.


I think the title is "Summaries of Talks..." (not "Summaries of Talk..."), which might make it 
easier to search for :) .  Also, the publisher might be listed as the Communications Research 
Division (within the Institute for Defense Analyses).

Mitchell




>
> Richard
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>