The decision problem : solvable classes of quantificational formulas

Title:

Personal Author:

Publication Information:

Reading, Mass. : Addison-Wesley, 1979

ISBN:

9780201025408

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000000236681	QA9.35 D73 1979	Open Access Book	Book	Searching... Unknown