Symbolic logic and mechanical theorem proving

Title:

Personal Author:

Publication Information:

New York : Academic Press, 1973

ISBN:

9780121703509

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000000237580	QA9 C53 1973	Open Access Book	Book	Searching... Unknown