Introduction to mathematical logic and resolution principle /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
Alpha Science ; Science Press,
|
Publisher Address: | Oxford, U.K. : Beijing : |
Publication Dates: | 2009. |
Literature type: | Book |
Language: | English |
Edition: | Second edition. |
Subjects: | |
Carrier Form: | viii, 335 pages : illustrations ; 25 cm |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
7030228995 (hardback) : 9787030228994 (hardback) : 1842655663 9781842655665 |
Index Number: | QA9 |
CLC: | O141-43 |
Call Number: | O141-43/W246/2nd ed. |