中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic for applications = 应用逻辑 / Anil Nerode, Richard A. Shore著.

版本说明:

2nd ed.

出版发行项:

北京 : China Machine Press, 2006.

ISBN:

7111197720

载体形态项:

xiii, 456 p. : ill. ; 25 cm.

变异题名:

应用逻辑

丛编题名:

经典原版书库

丛编题名:

HZ Books

个人责任者:

Nerode, Anil, 1932-

附加个人名称:

Shore, Richard A., 1946-

论题主题:

Computer science-Mathematics.

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

TP301

中图法分类号:

O141

原版附注:

Reprint. Originally published: New York : Springer, c1997, 2nd ed. 0387948937 (hc : alk. paper)

豆瓣简介：