Loading...
Logic for computer science: foundations of automatic theorem proving
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Published: |
New York, John Wiley & Sons, Inc
1987
|
| Subjects: |
| Item Description: | Includes bibliographical references and index Jean H Gallier |
|---|---|
| ISBN: | 0-471-61546-3 |