（美）尼罗德（Nerode 相关电子书下载

（美）尼罗德（Nerode，A.），（美）肖尔（ Shore，R.A.）著；丁德成等译2007 年出版284 页ISBN：7111214048

本书是一本介绍数理逻辑的基础教材。

（美）尼罗德（Nerode，A.）等著2006 年出版457 页ISBN：7111197720

本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题（语法、语义、完备性和紧致性），但是书中大部分内容讨论的是其他主题...

（美）安东尼·帕里尼罗（Anthony Parinello）著；杨俊峰等译1999 年出版254 页ISBN：7538255214

（美）尼罗（A.V.Jr.Nero）编著；张士贯，杨宇译1984 年出版134 页ISBN：15175·472

尼罗著2016 年出版262 页ISBN：7556229871

尼罗著2017 年出版0 页ISBN：

尼罗著2017 年出版0 页ISBN：

（丹）尼罗普著；张露译2014 年出版244 页ISBN：

（丹）尼罗普著2002 年出版0 页ISBN：

尼罗著2014 年出版251 页ISBN：7539977997