In article <9309200038.AA04119@netcom.netcom.com>, Doug Merritt <doug@netcom.com> wrote: : The most : readable in depth treatment of that that I know of is "Goedel's Proof" : by Ernest Nagel and James R. Newman, c. 1958 and still in print as : a cheap paperback. I have that book. It's a good one. It's exactly the sort of thing I was referring to.