Pastāsti draugiem par šo preci:
Aspects of Incompleteness - Lecture Notes in Logic Lindstrom, Per (Goteborgs Universitet, Sweden)
Aspects of Incompleteness - Lecture Notes in Logic
Lindstrom, Per (Goteborgs Universitet, Sweden)
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.
142 pages, 115 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2017. gada 2. marts |
| ISBN13 | 9781107167926 |
| Izdevēji | Cambridge University Press |
| Lapas | 144 |
| Izmēri | 156 × 235 × 15 mm · 300 g |
| Valoda | Angļu |