Learn more Shop now Learn more Shop now Shop now Shop now Shop now Shop now Shop now Shop now Shop now Shop now Learn More Shop now Learn more Click Here Shop Kindle New Album - Pink Shop now Shop Now


on 19 June 2010
This book has been out of print as an Oxford Logic Guide for a while; and I was intrigued when it was reprinted by Dover. This is a very well thought through and clear account of set theory and some of its models. The treatment of Goedel's definitional model of set theory and Cohen's technique of forcing are the clearest I have come across, although the treatment of forcing is unusual in that forcing conditions are treated as part of the semantics of a modal logic, called S4, rather than being treated as a Boolean logic or as distinct forcing semantics. Personally I think the use of S4 is a step forwards in understanding forcing, as Smullyan and Fitting's translation from classical logic into S4 applied to set theory is syntactically elegant and natural. This is an excellent book all round, which I would recommend, to logicians especially.
0Comment| 7 people found this helpful. Was this review helpful to you?YesNoReport abuse
on 2 November 2011
Smullyan's book is simply thrilling and at a very reasonable price !

It actually takes you to Paul Cohen's inspired findings without having to dive into Cohen's unreadable treatment and drown (if you're not a seasoned professional)

Forget about Potter's overpriced indigestion and Suppes's monotonous books (see my reviews on those)

Buy this book and enjoy it.
0Comment| 3 people found this helpful. Was this review helpful to you?YesNoReport abuse
on 21 June 2015
No significant comments.
0Comment|Was this review helpful to you?YesNoReport abuse



Need customer service? Click here

Sponsored Links

  (What is this?)