000 00447nam a2200169 4500
001 VA28640
003 ES-SlBCS
005 20210601153048.0
008 140520s1968 xxu||||| |||| 00| 0 eng d
041 _aeng
100 1 _aAckermann, W.
_9353865
245 1 0 _aSolvable Cases of the Decision Problem
_cW. Ackermann
260 _aAmsterdam :
_bNorth-Holland
_c, 1968
300 _aVIII,114 p.;
_c22 cm
650 _aDecisiĆ³n
_9124266
942 _cBK
999 _c785742
_d785742