|
Banner Text
Banner Slogan
|
|
|
|
Back
| 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 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. |
| Product Code |
Description |
Attributes |
Price | |
| Per Lindström ISBN: 9781568811734 |
Paperback - 2003 |
|
£27.00
|
|
|
In categories:
|
Prices include:
0% VAT
Discounts:
|
|
|
|
|