Abram, > > Thanks for the reference. That book sounds very interesting... > unfortunately it is also very expensive.
Then don't buy it. In my opinion, well to get the AUDA, the following one are without doubt more genuine. Actually I complained often that the Boolos 1979 book was out of stock and print, but I discover today that it will be published again: http://www.amazon.com/gp/product/0521092973/ref=pe_5050_10997920_pe_snp_973 That is: BOOLOS G., 1979, The Unprovability of Consistency, an Essay in Modal Logic, Cambridge University Press. It is a lighter and shorter introduction to the Godel Lob logic of self-reference used in AUDA. Lighter and fresher than its 1993 extension which tackles the first order (incomplete) self-reference logics: (which is excellent too). Boolos, G. (1993). The Logic of Provability. Cambridge University Press, Cambridge. The following one by Smorynski is quite nice too, perhaps even better on the relation with computability and the role of the sigma_1 sentences. It contains also a bit of the Magari algebraic treatment of self-reference, but the font is so small that even with spectacles I confuse the indices with the (old) tobacco stains! Smoryński, P. (1985). Self-Reference and Modal Logic. Springer Verlag, New York. If you buy only one, buy the 1993 Boolos one. I hope they are less expensive, high price for math books is a pity and shame. There is also the "recreative" one by Raymond Smullyan, which I find very interesting. It is a must! It should not be expensive. Buy the "penguin" edition you will find on amazon (the Knopf edition is quite cute but less cheap). Smullyan, R. (1987). Forever Undecided. Knopf, New York. Bruno On 26 Dec 2008, at 21:38, Abram Demski wrote: > > Bruno, > > Thanks for the reference. That book sounds very interesting... > unfortunately it is also very expensive. > > --Abram > > On Thu, Dec 25, 2008 at 1:23 PM, Bruno Marchal <marc...@ulb.ac.be> > wrote: >> >> >> >> POUR-EL M. B., RICHARD J. I., 1989, Computability in Analysis and >> Physics, >> Springer-Verlag, Berlin. >> >> Bruno >> http://iridia.ulb.ac.be/~marchal/ >> >> >> >>> >> > > > > -- > Abram Demski > Public address: abram-dem...@googlegroups.com > Public archive: http://groups.google.com/group/abram-demski > Private address: abramdem...@gmail.com > > > http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-l...@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 -~----------~----~----~----~------~----~------~--~---