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 頁
語言 英語
已出版 Feb 26, 1979
出版商 Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
加入書架

評價這本書


出口書籍日誌