| 000 | 00798nam a2200241zi 4500 | ||
|---|---|---|---|
| 005 | 20210817121216.0 | ||
| 008 | 970106s1979 a 000 0 eng | ||
| 020 | _a020102540x | ||
| 035 | _aMX001000298213 | ||
| 050 |
_aQA9.35 _bD73 |
||
| 100 |
_aDreben, Burton, _eautor |
||
| 245 | 1 | 4 |
_aThe decision problem : _bSolvable classes of quantificational formulas / _cBurton dreben, Warren d. goldfarb |
| 300 | _a271 páginas | ||
| 500 | _a"advanced book program" | ||
| 650 | 0 | _aCálculo de predicados | |
| 650 | 0 | _aIrresolubilidad (Lógica matemática) | |
| 700 |
_aGoldfarb, Warren D., _eautor |
||
| 264 | 1 |
_aReading, mass. : _bAddison-wesley, _c1979 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c10086 _d10086 |
||