Screen LibraryIntroduction 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. |