2029:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 399:-
This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.
- Format: Inbunden
- ISBN: 9781107167926
- Språk: Engelska
- Antal sidor: 142
- Utgivningsdatum: 2017-03-02
- Förlag: Cambridge University Press