Diagonalization and Self-Reference(Oxford Logic Guides)

数理逻辑与数学基础

售   价:
1577.00
作      者
出  版 社
出版时间
1994年09月01日
装      帧
精装
ISBN
9780198534501
复制
页      码
412
开      本
234x156mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 1 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Godel’s incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.
馆藏图书馆
Princeton University Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个