|
|
||
|
|
|
MR548005
(81i:03015)
03B25
Dreben, Burton; Goldfarb, Warren D. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Co., Reading, Mass., 1979. xii+271 pp. ISBN: 0-201-02540-X |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|