Complexity, Logic, and Recursion Theory

Complexity, Logic, and Recursion Theory

Andrea Sorbi , Zuhair Nashed , Earl Taft
尚無評分
1997 · 英語 · 平裝書
加入書架

評價這本書


出口書籍日誌

描述

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."

書籍詳情

格式 平裝書
頁數 384 頁
語言 英語
已出版 Feb 4, 1997
出版商 CRC Press
ISBN-10 0824700260
ISBN-13 9780824700263
加入書架

評價這本書


出口書籍日誌