> 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:


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.


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
> >


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 
For more options, visit this group at 

Reply via email to