Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

还没有评分
1979 · 英语 · 精装书
加入书架

评价这本书


导出书籍日志

描述

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

书籍详情

格式 精装书
页数 486 页
语言 英语
已发布 2月 26, 1979
出版商 Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
加入书架

评价这本书


导出书籍日志