511.3 / D81
Dreben, Burton
THE DECISION PROBLEM / SOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS .- Reading, Mass.: Addison-Wesley, 1979 .- xii,271 .
Subject Headings:
Predicate Calculus;
Unsolvability (Mathematical Logic);
Author Added Entry:
Goldfarb, Warren D.;
Copy Details:
Acc. No.: A66573, Full Call No.: 511.3 D81, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Dreben, Burton
THE DECISION PROBLEM / SOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS .- Reading, Mass.: Addison-Wesley, 1979 .- xii,271 .
Subject Headings:
Predicate Calculus;
Unsolvability (Mathematical Logic);
Author Added Entry:
Goldfarb, Warren D.;
Copy Details:
Acc. No.: A66573, Full Call No.: 511.3 D81, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------