Handbook of Mathematical Logic

赛义甫 2015-01-18 01:11:07

赛义甫
2015-01-21 09:07:34 赛义甫 (大道无门,千差有路)

amazon.com上的书评
**** Classics but difficult
The handbook is a heavy book that is definitely not for beginners. However, it is certainly a classic. It is a large scope book, which cover different area such as model theory, set theory, recursion theory, proof theory and constructive mathematics. It can be useful for student of logic and professionals. The articles in the handbook covering different areas of mathematical logic till the 70's. They differ in complexity and style. Among them it is worth mentioning Smorynski's article about Gödel's incompleteness theorems and the famous result of Paris & Harrington. In short, if you are seriously interested in Logic - buy it. Just remember that it is updated to the end of the 70's.

** Don't buy it blind
The chapters are very uneven, as you might expect with 34 authors. A couple are well written but most are poor -- too terse, little context, poor writing. Better to look in an appropriate graduate text.

***** One masterpiece
One amazing encyclopedic book about mathematical logic (is there another type of logic?). One basic book if you want to know more about this theme after the typical pre-graduate mathematical logic course of any university. Difficult but essential.