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

Online Public Access Catalogue

题名/责任者:

Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / Guo-jun Wang, Hong-jun Zhou.

版本说明:

2nd ed.

出版发行项:

Beijing : Science Press, c2009.

ISBN:

9787030228994 (Beijing)

ISBN:

9781842655665 (Alpha Science International Ltd, Oxford)

载体形态项:

v, 335 p. ; 25 cm.

变异题名:

数理逻辑引论与归结原理

丛编说明:

Mathematics monograph series ; 13

个人责任者:

Wang, Guojun

附加个人名称:

Zhou, Hongjun.

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

O141

一般附注:

Cover title also in Chinese.

书目附注:

Includes bibliographical references and index.

豆瓣简介：