Aspects of Incompleteness - Lecture Notes in Logic - Lindstrom, Per (Goteborgs Universitet, Sweden) - Grāmatas - Cambridge University Press - 9781107167926 - 2017. gada 2. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Aspects of Incompleteness - Lecture Notes in Logic

Cena
€ 157,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 25. sept.
Saņemiet paziņojumus par jauniem Lindstrom, Per (Goteborgs Universitet, Sweden) izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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  

Vairāk no tā paša izdevēja