Constructive Models
299.29 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10415793
Beschreibung
Preface. 1. Models, Computability, and Numberings. 2. Constructive Models. 3. Strongly Constructive and Decidable Models. 4. Theories with a Countable Set of Countable Models. 5. Algorithmic Dimensions and Computable Classes. 6. Models of Finite Algorithmic Dimension and Autostability. References. Subject Index.
Eigenschaften
Gewicht: | 617 g |
Höhe: | 235 |
Seiten: | 293 |
Sprachen: | Englisch |
Autor: | Sergei S. Goncharov, Yuri L. Ershov |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen