机读格式显示(MARC)
- 000 00902cam 2200277 a 4500
- 008 720803s1954 ne b 001 0 eng
- 040 __ |a DLC |c ODaWU |d DLC
- 100 1_ |a Ackermann, W. |q (Wilhelm), |d 1896-
- 245 10 |a Solvable cases of the decision problem / |c W.Ackermann..
- 260 __ |a Amsterdam : |b North-Holland Pub. Co., |c 1954.
- 300 __ |a 114 p ; |c 22 cm..
- 440 _0 |a Studies in logic and the foundations of mathematics
- 504 __ |a Includes bibliographical references and index.
- 650 _0 |a Logic, Symbolic and mathematical.
- 905 __ |a CAU |f O143/AW |b E0216997
- 907 __ |a CAU |f O143/AW |b E0216997
- 999 __ |t C |A gxr |a 20070918 19:51:17 |I gxr |i 20070918 19:55:39 |G wzhlc |g 20071210 14:04:5