Non è semplicissimo catalogare questo libro. La parte centrale del testo è molto tecnica, ahimè con qualche refuso che non so se sia poi stato corretto nelle edizioni successive alla prima che è entrata in mio possesso: ma il capitolo introduttivo fa una storia della logica con un linguaggio colloquiale e allo stesso tempo chiaro - un bravo alla traduttrice Teresa Pallucchini - e il capitolo finale dà un'ottima idea di come si sia arrivati agli assiomi ZF per la teoria degli insiemi e cerca persino di gettare qualche luce sulle tecniche di forcing che dieci anni prima avevano permesso a Cohen di dimostrare l'indipendenza di assioma della scelta e ipotesi del continuo. Direi che per chi non è un patito della logica matematica queste due parti sono sufficienti per apprezzare il testo. ( )

It was difficult to discern the target audience of this book.

The book is certainly not a "textbook". It's concise, and much of the "basics" of the material is given in theorem/proof format. However, the presentation of the proofs is quite "visually unstructured". Most of the the proofs are given in the body of the text, as opposed to explicitly listing each step, say, one per line. You have to read the proofs as you would in a real mathematics textbook that is targeted for mathematics students.

I can't recommend this book for the layperson. The maturity needed to understand the proofs is too high for them. Perhaps a technically minded person can gain from it, but it would be a painful read.

In a sense, I felt his blend of informal discussions mixed with presenting formal proofs in an informal style hurt the efforts of the book. If one needs to be mathematically mature to read this book, one can just pick up a real textbook. Not enough motivation is provided for why the authors are presenting all these theorems. Perhaps if you stick around to the next few chapters, you'll see why. However, I feel some of the motivation should be provided in advance. ( )