Logic for computer science : foundations of automatic theorem proving /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Harper & Row,
1986
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Harper & Row,
1986
|
| Subjects: |