| 000 | 00427cam a22001451 4500 | ||
|---|---|---|---|
| 082 |
_a519.542 _bACK _cL-4, P-15 |
||
| 100 | 1 |
_aAckermann, W. _939537 |
|
| 245 | 1 | 0 | _aSolvable cases of the decision problem. |
| 260 |
_aAmsterdam, _bNorth-Holland Pub. Co., _c1954. |
||
| 300 | _a114 p. | ||
| 526 |
_a0 _b0 _c0 _d519_542000000000000_ACK |
||
| 650 | 0 |
_aLogic, Symbolic and mathematical. _936546 |
|
| 650 | 0 |
_aMCE _9379 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c544009 _d544009 |
||