更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Computability logic Provability logic Computability Foundations of mathematics Reflection (mathematics) Calculus Discrete mathematics Mathematics Volume (computing)

馆藏高校

{{holding.name}}

Provability, Computability and Reflection

ISBN: 9780720422085 出版年：2009 页码：535 Beklemishev, Lev D Elsevier Science_RM

知识网络

知识图谱网络

内容简介

Provability, Computability and Reflection

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书