511.3 / L586u
Lewis, Harry R.
UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
/
.- Reading, Mass.: Addison-Wesley, 1979
.- xv,198 .
Subject Headings:
Unsolvability (Mathematical Logic);
Combinatorial Analysis;
Computable Functions;
Copy Details:
Acc. No.: A72669, Full Call No.: 511.3 L586u, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------