Symbolic logic and mechanical theorem proving

Select an Action

Title:

Author:

Chang, Chin-Liang, 1937-

Publication Information:

New York : Academic, 1973.

Physical Description:

331 s.

Subject Term:

Added Author:

Holds:
Copies:

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