Introduction to mathematical logic and resolution principle /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Oxford, U.K. : Beijing :
Alpha Science ; Science Press,
[2009]
|
| Edition: | 2nd ed. |
| Subjects: |
| Physical Description: | viii, 335 pages : illustrations ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 7030228995 9787030228994 1842655663 9781842655665 |