| 000 | 00767nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | 50437 | ||
| 003 | BD-RjUL | ||
| 005 | 20211209075516.0 | ||
| 008 | 160827r19621954xx b 001 0 eng | ||
| 035 | _a(BD-RjUL)50557 | ||
| 035 | _a(OCoLC)373064 | ||
| 040 |
_aDLC _cODaWU _dBD-RjUL _beng |
||
| 041 | _aeng | ||
| 082 |
_223 _a51.3 _bACS 1962 |
||
| 100 | 1 |
_aAckermann, W. _q(Wilhelm), _d1896- _9151131 |
|
| 245 | 1 | 0 |
_aSolvable cases of the decision problem / _cW. Ackermann |
| 260 |
_aAmsterdam : _bNorth-Holland Pub. Co., _cc1954 [ printing 1962] |
||
| 300 |
_a114 p. ; _c22 cm. |
||
| 504 | _aIncludes bibliography. | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical. _9117583 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c50437 _d50437 |
||