Home » Aspects Of Incompleteness Lecture Notes In Logic 10 by Per Lindstrom
Aspects Of Incompleteness Lecture Notes In Logic 10 Per Lindstrom

Aspects Of Incompleteness Lecture Notes In Logic 10

Per Lindstrom

Published October 7th 2003
ISBN : 9781568811734
Paperback
Enter the sum

 About the Book 

This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Godel andMoreThis thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Godel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory.