Title:
Symbolic logic and mechanical theorem proving
Personal Author:
Publication Information:
New York : Academic Press, 1973
ISBN:
9780121703509
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000000237580 | QA9 C53 1973 | Open Access Book | Book | Searching... |