Skip to:Content
|
Bottom
Cover image for Symbolic logic and mechanical theorem proving
Title:
Symbolic logic and mechanical theorem proving
Author:
Chang, Chin-Liang, 1937-
Publication Information:
New York : Academic, 1973.
Physical Description:
331 s.
Added Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
Book 7.2/12/573986 QA 9 C49 1973
Searching...

On Order

Go to:Top of Page