Symbolic logic and mechanical theorem proving

Main Author: Chang, Chin-Liang, 1937-
Other Authors: Lee, Richard Char-Tung, 1939-
Format: Book
Language: English
Published: New York : Academic Press 1973
Series: Computer science and applied mathematics.
Subjects:

S Cornell

Call Number Status
QA9 .C49 Available |Request

H Science

Call Number Status
QA9 .C49 Available |Request

B Collier

Call Number Status
QA9 .C483 1973 Available |Request