Title:
Symbolic logic and mechanical theorem proving
Author:
Chang, Chin-Liang, 1937-
Publication Information:
New York : Academic, 1973.
Physical Description:
331 s.
Added Author:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/573986 | QA 9 C49 1973 | Searching... | Searching... |