Aspects of incompleteness
著者
書誌事項
Aspects of incompleteness
(Lecture notes in logic, 10)
Association for Symbolic Logic , A.K. Peters, c2003
2nd ed
- : pbk. : acid-free paper
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 153-159) and index
内容説明・目次
内容説明
This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Goedel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory.
「Nielsen BookData」 より