Bruno:
It sounds as if the way to begin is with the latest Mendelson book.
Ronald
On Sep 18, 2:55 am, Bruno Marchal <marc....domain.name.hidden> wrote:
> Hi Ronald,
>
> You may ask Günther Greindl, who asked me references for the UDA and
> AUDA, and he put them on the list archive.
>
> guenther.grei....domain.name.hidden
>
> You can take a look on the references in my theses.http://iridia.ulb.ac.be/~marchal/lillethesis/these/node79.html#SECTIO...http://iridia.ulb.ac.be/~marchal/bxlthesis/Volume4CC/7%20biblio%20gen...
>
> An excellent introduction to mathematical logic is the book by Eliot
> Mendelson. Classical treatises on the self-reference logic are the
> book by Boolos 1979 (recently reedited), or the later version: Boolos
> 1993. The book by Smorynski is very good too, but those books
> presuppose knowledge of logic (Like explained in Mendelson).
>
> Then all books, technical or recreative by Raymond Smullyan, are
> introduction to diagonalization, self-reference, Gödel and Tarski
> theorem, and they are quite excellent. Notably his little recreative
> (but not so easy apparently) introduction to the modal G system;
> "Forever Undecided".
>
> Ask if you have a problem to find them, or if you search for other
> books. Logicians like to write book, and there are many of them.
> Original papers on the UDA and AUDA can be found on my web pages (http://iridia.ulb.ac.be/~marchal/
> ).
>
> Bruno
>
> On 10 Sep 2009, at 21:48, ronaldheld wrote:
>
>
>
>
>
> > I thought that I would start a thread to consolidate some of the books
> > useful in following current and old threads. if people alos want to
> > post key papers here, I do not see a problem with that.- Hide quoted text -
>
> - Show quoted text -
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Sep 18 2009 - 06:14:50 PDT