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...@ulb.ac.be> 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...@gmail.com
>
> 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@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to