Re: Computability and logic

Moe, thank you very much for writing. With permission, I will save your
kind post and study it _carefully at home. I shall answer properly
tomorrow.

Thank you very much for your bibliographical suggestions. I trust those
are great(!) books as I have had plenty of chance to study your
competent posts and learn of your great mathematical skill. I will put
them on the top of my reading list. Boolos&Jeffrey are pretty much
self-contained, though, and if you think about it (this item has
received great applause from many a mathie). It is just that little
part I mentioned that has continued to make me bounce off for several
months now. Seems like a nut too tough for a complete newbie like me.

Kindest regards,
Tom

.