Aspects of Incompleteness
Seiten
1997
Springer Berlin (Hersteller)
978-3-540-63213-9 (ISBN)
Springer Berlin (Hersteller)
978-3-540-63213-9 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
This volume constitutes an examination of aspects of incompleteness. There are discussions of axiomatizations, partial conservativity, interpretability, and degrees of interpretability.
Preliminaries; incompleteness; numerations of r.e. sets; axiomatizations; partial conservativity; interpretability; degrees of interpretability; generalizations.
Verlagsort | Berlin |
---|---|
Sprache | englisch |
Gewicht | 230 g |
Einbandart | Paperback |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
ISBN-10 | 3-540-63213-1 / 3540632131 |
ISBN-13 | 978-3-540-63213-9 / 9783540632139 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |