Aspects of incompleteness
著者
書誌事項
Aspects of incompleteness
(Lecture notes in logic, 10)
Springer, c1997
大学図書館所蔵 件 / 全23件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [125]-129
Includes index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より