00767nam a2200241 a 4500 50437 BD-RjUL 20211209075516.0 160827r19621954xx b 001 0 eng (BD-RjUL)50557 (OCoLC)373064 DLC ODaWU BD-RjUL eng eng 23 51.3 ACS 1962 Ackermann, W. (Wilhelm), 1896- 151131 Solvable cases of the decision problem / W. Ackermann Amsterdam : North-Holland Pub. Co., c1954 [ printing 1962] 114 p. ; 22 cm. Includes bibliography. Logic, Symbolic and mathematical. 117583 ddc BK 50437 50437 0 0 ddc 0 0 NFIC RUCL RUCL Stack 1967-12-05 Book view, Dacca 24.00 0 511.3 ACS 1962 2016-08-27 00:00:00 C-2 2021-12-09 BK 0 0 ddc 0 0 NFIC RUCL RUCL Stack 1968-10-22 Book view, Dacca 30.00 0 511.3 ACS 1962 2016-08-27 00:00:00 C-3 2021-12-09 BK